User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 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)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)