User contributions
Jump to navigation
Jump to search
- 12:27, 6 November 2009 diff hist -4 MLQA 2010 Removing all content from page
- 12:26, 6 November 2009 diff hist +4 N MLQA 2010 New page: +ppp
- 11:01, 6 November 2009 diff hist 0 File:MLQA-KickOff-0-Nielson.pdf uploaded a new version of "Image:MLQA-KickOff-0-Nielson.pdf" current
- 11:01, 6 November 2009 diff hist +11 Group Activities
- 11:00, 6 November 2009 diff hist -20 Main Page
- 15:09, 5 November 2009 diff hist +76 Research Topics current
- 15:03, 5 November 2009 diff hist -10 Research Topics
- 14:59, 5 November 2009 diff hist +2 Research Topics →Non-Technical Mission Statement
- 14:57, 5 November 2009 diff hist -1 Research Topics
- 14:55, 5 November 2009 diff hist +1 Research Topics
- 14:54, 5 November 2009 diff hist +8 Research Topics →Non-Technical Mission Statement
- 14:53, 5 November 2009 diff hist 0 Research Topics
- 14:52, 5 November 2009 diff hist +12 Research Topics
- 14:47, 5 November 2009 diff hist +36 Research Topics
- 14:46, 5 November 2009 diff hist -17 Main Page
- 14:44, 5 November 2009 diff hist -2 Main Page
- 14:43, 5 November 2009 diff hist +1 Main Page
- 14:41, 5 November 2009 diff hist +7 Main Page
- 14:29, 5 November 2009 diff hist -36 Main Page
- 14:28, 5 November 2009 diff hist +8 Main Page →Objectives
- 14:28, 5 November 2009 diff hist -12 Main Page →Overview on ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA)
- 14:27, 5 November 2009 diff hist +1 Main Page →Overview
- 14:23, 5 November 2009 diff hist +80 Research Topics
- 14:12, 5 November 2009 diff hist +79 Research Topics
- 14:07, 5 November 2009 diff hist -56 Main Page
- 14:03, 5 November 2009 diff hist -49 MLQA 2009
- 14:02, 5 November 2009 diff hist +2 MLQA 2009
- 14:02, 5 November 2009 diff hist +47 MLQA 2009
- 14:01, 5 November 2009 diff hist +2 Main Page
- 14:00, 5 November 2009 diff hist +32 Main Page
- 14:00, 5 November 2009 diff hist 0 N File:Image002.png current
- 13:52, 5 November 2009 diff hist -1,554 Research Topics
- 13:51, 5 November 2009 diff hist +11,974 N Research Topics New page: 1. Non-Technical Mission Statement IT Systems. A large fraction of contemporary Information Technology systems are either Embedded Systems (offering autonomous and intelligent control of ...
- 13:50, 5 November 2009 diff hist +2,956 Main Page
- 13:47, 5 November 2009 diff hist -12 Group Activities
- 13:45, 5 November 2009 diff hist +246 MLQA 2009
- 13:38, 5 November 2009 diff hist -90 MLQA 2009
- 13:36, 5 November 2009 diff hist +183 MLQA 2009
- 13:34, 5 November 2009 diff hist +110 N MLQA meeting at FLoC 2010, Edinburgh New page: The fifth Federated Logic Conference (FLoC'10), will be 9-21 July, 2010 hosted by the University of Edinburgh. current
- 13:30, 5 November 2009 diff hist -55 MLQA 2009
- 13:16, 5 November 2009 diff hist +1,130 MLQA 2009
- 13:15, 5 November 2009 diff hist +3,419 MLQA 2009
- 13:09, 5 November 2009 diff hist +19 Group Activities
- 13:06, 5 November 2009 diff hist +866 N List of Group Members New page: == Proposing Institutions == At present the following institutions, that are members of the national organisations taking part in ERCIM, support the MLQA working group (in alphabetical or...
- 13:00, 5 November 2009 diff hist +116 MLQA 2009
- 12:56, 5 November 2009 diff hist +145 MLQA 2009
- 12:55, 5 November 2009 diff hist -16 MLQA 2009
- 12:54, 5 November 2009 diff hist +603 N MLQA 2009 New page: http://wiki.ercim.org/wg/MLQA/images/9/91/MLQA-KickOff-0-Nielson.pdf http://wiki.ercim.org/wg/MLQA/images/6/65/MLQA-KickOff-1-Gilmore.pdf [[http://wiki.ercim.org/wg/MLQA/images/9...
- 12:53, 5 November 2009 diff hist -573 Group Activities
- 12:23, 5 November 2009 diff hist +2 Group Activities
- 12:17, 5 November 2009 diff hist +81 Group Activities
- 12:17, 5 November 2009 diff hist 0 N File:MLQA-KickOff-7-ShortPresentations.pdf current
- 12:17, 5 November 2009 diff hist +70 Group Activities
- 12:17, 5 November 2009 diff hist 0 N File:MLQA-KickOff-6-Quaglia.pdf current
- 12:16, 5 November 2009 diff hist +71 Group Activities
- 12:16, 5 November 2009 diff hist 0 N File:MLQA-KickOff-5-Hermanns.pdf current
- 12:16, 5 November 2009 diff hist +70 Group Activities
- 12:15, 5 November 2009 diff hist 0 N File:MLQA-KickOff-4-Latella.pdf current
- 12:15, 5 November 2009 diff hist +71 Group Activities
- 12:15, 5 November 2009 diff hist 0 N File:MLQA-KickOff-3-DeNicola.pdf current
- 12:14, 5 November 2009 diff hist +70 Group Activities
- 12:14, 5 November 2009 diff hist 0 N File:MLQA-KickOff-2-Talcott.pdf current
- 12:14, 5 November 2009 diff hist +70 Group Activities
- 12:13, 5 November 2009 diff hist 0 N File:MLQA-KickOff-1-Gilmore.pdf current
- 10:38, 5 November 2009 diff hist -4 Group Activities
- 10:37, 5 November 2009 diff hist +74 Group Activities
- 10:36, 5 November 2009 diff hist 0 N File:MLQA-KickOff-0-Nielson.pdf
- 10:33, 5 November 2009 diff hist +27 Contact
- 10:32, 5 November 2009 diff hist +40 N Contact New page: Flemming Nielson <nielson(at)imm.dtu.dk>
- 10:29, 5 November 2009 diff hist +115 N Group Activities New page: Upcoming events: MLQA meeting at FLoC 2010, Edinburgh Events in the past: Kick-Off meeting in York in March 2009