User contributions
- 14:04, 5 July 2012 (diff | hist) . . (+88) . . Group Activities (→Upcoming events) (current)
- 15:50, 27 June 2012 (diff | hist) . . (+6) . . TCS on Quantitative Aspects of Programming Languages and Systems (current)
- 15:49, 27 June 2012 (diff | hist) . . (+49) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:46, 27 June 2012 (diff | hist) . . (+1) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:35, 27 June 2012 (diff | hist) . . (+1) . . TCS on Quantitative Aspects of Programming Languages and Systems (→SCOPE)
- 15:34, 27 June 2012 (diff | hist) . . (+3) . . TCS on Quantitative Aspects of Programming Languages and Systems (→SCOPE)
- 15:34, 27 June 2012 (diff | hist) . . (-3) . . TCS on Quantitative Aspects of Programming Languages and Systems (→SCOPE)
- 15:33, 27 June 2012 (diff | hist) . . (-1) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:33, 27 June 2012 (diff | hist) . . (-1) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:33, 27 June 2012 (diff | hist) . . (-1) . . TCS on Quantitative Aspects of Programming Languages and Systems (→IMPORTANT DATES)
- 15:32, 27 June 2012 (diff | hist) . . (-1) . . TCS on Quantitative Aspects of Programming Languages and Systems (→IMPORTANT DATES)
- 15:32, 27 June 2012 (diff | hist) . . (-29) . . TCS on Quantitative Aspects of Programming Languages and Systems (→IMPORTANT DATES)
- 15:32, 27 June 2012 (diff | hist) . . (-20) . . TCS on Quantitative Aspects of Programming Languages and Systems (→EDITORS)
- 15:32, 27 June 2012 (diff | hist) . . (-10) . . TCS on Quantitative Aspects of Programming Languages and Systems (→EDITORS)
- 15:31, 27 June 2012 (diff | hist) . . (-4) . . TCS on Quantitative Aspects of Programming Languages and Systems (→EDITORS)
- 15:04, 27 June 2012 (diff | hist) . . (-2) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:03, 27 June 2012 (diff | hist) . . (-27) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 15:02, 27 June 2012 (diff | hist) . . (-3) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:59, 27 June 2012 (diff | hist) . . (-433) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:57, 27 June 2012 (diff | hist) . . (-144) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:56, 27 June 2012 (diff | hist) . . (-147) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:56, 27 June 2012 (diff | hist) . . (-1) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:56, 27 June 2012 (diff | hist) . . (-40) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:55, 27 June 2012 (diff | hist) . . (-24) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:13, 27 June 2012 (diff | hist) . . (+1) . . TCS on Quantitative Aspects of Programming Languages and Systems
- 14:12, 27 June 2012 (diff | hist) . . (+5,166) . . N TCS on Quantitative Aspects of Programming Languages and Systems (Created page with "Special Issue of THEORETICAL COMPUTER SCIENCE on Quantitative Aspects of Programming Languages and Systems (QAPL 2011/12) ---------------------------------------------------…")
- 14:12, 27 June 2012 (diff | hist) . . (+4) . . Main Page (→Upcoming events)
- 13:49, 27 June 2012 (diff | hist) . . (+103) . . Main Page (→Upcoming events)
- 10:22, 10 November 2010 (diff | hist) . . (+4) . . Main Page (→Upcoming events)
- 10:22, 10 November 2010 (diff | hist) . . (+123) . . Main Page
- 09:22, 23 August 2010 (diff | hist) . . (+17) . . MLQA 2010 (current)
- 09:19, 23 August 2010 (diff | hist) . . (+73) . . Abstracts FLoC 2010 (current)
- 09:16, 23 August 2010 (diff | hist) . . (0) . . N File:MLQA-9-7.pdf (current)
- 12:33, 20 July 2010 (diff | hist) . . (-10) . . MLQA 2010
- 12:32, 20 July 2010 (diff | hist) . . (+229) . . MLQA 2010
- 12:29, 20 July 2010 (diff | hist) . . (0) . . N File:MLQA 2010 Minutes.pdf (current)
- 12:27, 20 July 2010 (diff | hist) . . (+85) . . MLQA 2010
- 12:26, 20 July 2010 (diff | hist) . . (+17) . . MLQA 2010
- 12:21, 20 July 2010 (diff | hist) . . (-38) . . Poster Session at MLQA 2010 (current)
- 12:21, 20 July 2010 (diff | hist) . . (-38) . . Abstracts FLoC 2010
- 12:19, 20 July 2010 (diff | hist) . . (+90) . . Poster Session at MLQA 2010
- 13:27, 16 July 2010 (diff | hist) . . (+1) . . Poster Session at MLQA 2010
- 13:26, 16 July 2010 (diff | hist) . . (+580) . . Poster Session at MLQA 2010
- 13:07, 16 July 2010 (diff | hist) . . (-4) . . Poster Session at MLQA 2010
- 13:06, 16 July 2010 (diff | hist) . . (+62) . . Poster Session at MLQA 2010
- 13:05, 16 July 2010 (diff | hist) . . (-361) . . Poster Session at MLQA 2010
- 13:02, 16 July 2010 (diff | hist) . . (-489) . . Poster Session at MLQA 2010
- 12:53, 16 July 2010 (diff | hist) . . (-4) . . Poster Session at MLQA 2010
- 12:53, 16 July 2010 (diff | hist) . . (-121) . . Poster Session at MLQA 2010
- 12:51, 16 July 2010 (diff | hist) . . (+55) . . Poster Session at MLQA 2010
- 12:29, 16 July 2010 (diff | hist) . . (+10) . . Poster Session at MLQA 2010
- 12:04, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 11.pdf (current)
- 12:04, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 9.pdf (current)
- 12:04, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 10.pdf (current)
- 12:04, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 8.pdf (current)
- 12:04, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 7.pdf (current)
- 12:03, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 6.pdf (current)
- 12:02, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 5.pdf (current)
- 12:02, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 4.pdf (current)
- 12:02, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 3.pdf (current)
- 11:59, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 2.pdf (current)
- 11:59, 16 July 2010 (diff | hist) . . (0) . . N File:Submission 1.pdf (current)
- 11:58, 16 July 2010 (diff | hist) . . (+13,462) . . Poster Session at MLQA 2010
- 15:39, 15 July 2010 (diff | hist) . . (-1) . . MLQA 2010
- 15:38, 15 July 2010 (diff | hist) . . (-69) . . MLQA 2010
- 15:37, 15 July 2010 (diff | hist) . . (+3) . . Poster Session at MLQA 2010
- 12:07, 15 July 2010 (diff | hist) . . (+40) . . Poster Session at MLQA 2010
- 12:05, 15 July 2010 (diff | hist) . . (+6) . . MLQA 2010
- 12:05, 15 July 2010 (diff | hist) . . (+9) . . MLQA 2010
- 12:04, 15 July 2010 (diff | hist) . . (+2) . . MLQA 2010
- 12:03, 15 July 2010 (diff | hist) . . (0) . . MLQA 2010
- 12:03, 15 July 2010 (diff | hist) . . (+30) . . MLQA 2010
- 12:01, 15 July 2010 (diff | hist) . . (0) . . Poster Session at MLQA 2010
- 11:59, 15 July 2010 (diff | hist) . . (+7) . . MLQA 2010
- 11:57, 15 July 2010 (diff | hist) . . (-5) . . MLQA 2010
- 11:42, 15 July 2010 (diff | hist) . . (-26) . . MLQA 2010
- 11:41, 15 July 2010 (diff | hist) . . (0) . . m Poster Session at MLQA 2010 (Call for Posters for MLQA 2010 (as part of FLoC 2010) moved to Poster Session at MLQA 2010)
- 11:41, 15 July 2010 (diff | hist) . . (+41) . . N Call for Posters for MLQA 2010 (as part of FLoC 2010) (Call for Posters for MLQA 2010 (as part of FLoC 2010) moved to Poster Session at MLQA 2010) (current)
- 11:40, 15 July 2010 (diff | hist) . . (-989) . . Poster Session at MLQA 2010
- 11:38, 15 July 2010 (diff | hist) . . (+6) . . MLQA 2010
- 11:37, 15 July 2010 (diff | hist) . . (0) . . MLQA 2010
- 11:37, 15 July 2010 (diff | hist) . . (+5) . . MLQA 2010
- 11:15, 15 July 2010 (diff | hist) . . (+114) . . Steering Committee
- 11:05, 15 July 2010 (diff | hist) . . (-26) . . MLQA 2010
- 11:04, 15 July 2010 (diff | hist) . . (+17) . . Steering Committee (→Steering Committee)
- 11:04, 15 July 2010 (diff | hist) . . (+30) . . Steering Committee (→Chair of MLQA)
- 10:02, 15 July 2010 (diff | hist) . . (+1) . . Main Page
- 10:02, 15 July 2010 (diff | hist) . . (-66) . . Main Page
- 10:01, 15 July 2010 (diff | hist) . . (0) . . m MLQA 2010 (July 2010: MLQA meeting at FLoC 2010, Edinburgh moved to MLQA 2010)
- 10:01, 15 July 2010 (diff | hist) . . (+23) . . N July 2010: MLQA meeting at FLoC 2010, Edinburgh (July 2010: MLQA meeting at FLoC 2010, Edinburgh moved to MLQA 2010) (current)
- 10:01, 15 July 2010 (diff | hist) . . (0) . . m MLQA 2009 (March 2009: Kick-Off meeting in York moved to MLQA 2009) (current)
- 10:01, 15 July 2010 (diff | hist) . . (+23) . . N March 2009: Kick-Off meeting in York (March 2009: Kick-Off meeting in York moved to MLQA 2009) (current)
- 10:00, 15 July 2010 (diff | hist) . . (0) . . Main Page (→Past events)
- 09:54, 15 July 2010 (diff | hist) . . (-17) . . Main Page
- 09:41, 15 July 2010 (diff | hist) . . (-558) . . MLQA 2010
- 09:36, 15 July 2010 (diff | hist) . . (0) . . MLQA 2010
- 09:35, 15 July 2010 (diff | hist) . . (+90) . . MLQA 2010
- 09:33, 15 July 2010 (diff | hist) . . (0) . . N File:Handout.pdf (current)
- 12:30, 12 July 2010 (diff | hist) . . (-4) . . Main Page (→Upcoming events)
- 12:28, 12 July 2010 (diff | hist) . . (+3) . . Abstracts FLoC 2010
- 12:25, 12 July 2010 (diff | hist) . . (0) . . Abstracts FLoC 2010
- 12:21, 12 July 2010 (diff | hist) . . (-9) . . Abstracts FLoC 2010
- 12:21, 12 July 2010 (diff | hist) . . (+405) . . Abstracts FLoC 2010
- 12:19, 12 July 2010 (diff | hist) . . (0) . . N File:HuthMLQA10Talk.pdf (current)
- 12:18, 12 July 2010 (diff | hist) . . (0) . . N File:Gurfinkel mlqa2010 6up.pdf (current)
- 12:17, 12 July 2010 (diff | hist) . . (0) . . N File:Mlqa10 joost-pieter.pdf (current)
- 12:15, 12 July 2010 (diff | hist) . . (0) . . N File:Marta-mlqa10.pdf (current)
- 12:14, 12 July 2010 (diff | hist) . . (0) . . N File:MLQA-BS.pdf (current)
- 12:12, 12 July 2010 (diff | hist) . . (-2) . . Abstracts FLoC 2010
- 12:12, 12 July 2010 (diff | hist) . . (0) . . Abstracts FLoC 2010
- 12:12, 12 July 2010 (diff | hist) . . (+43) . . Abstracts FLoC 2010
- 12:11, 12 July 2010 (diff | hist) . . (-4) . . Abstracts FLoC 2010
- 12:10, 12 July 2010 (diff | hist) . . (0) . . N File:MLQA2010MCisSA.pdf (current)
- 12:10, 12 July 2010 (diff | hist) . . (+2) . . Abstracts FLoC 2010
- 12:09, 12 July 2010 (diff | hist) . . (0) . . Abstracts FLoC 2010
- 12:05, 12 July 2010 (diff | hist) . . (-6) . . Abstracts FLoC 2010
- 12:04, 12 July 2010 (diff | hist) . . (0) . . N File:MLQA 2010 MCisSA.pdf (current)
- 12:03, 12 July 2010 (diff | hist) . . (+48) . . Abstracts FLoC 2010 (→Flemming Nielson. Model Checking is Static Analysis of Modal Logic.)
- 11:51, 12 July 2010 (diff | hist) . . (+2) . . MLQA 2010
- 11:50, 12 July 2010 (diff | hist) . . (+11) . . MLQA 2010
- 15:23, 30 June 2010 (diff | hist) . . (+58) . . MLQA 2010
- 18:39, 21 June 2010 (diff | hist) . . (+776) . . Abstracts FLoC 2010
- 18:38, 21 June 2010 (diff | hist) . . (+112) . . MLQA 2010
- 16:22, 18 June 2010 (diff | hist) . . (+85) . . MLQA 2010
- 16:21, 18 June 2010 (diff | hist) . . (+1,150) . . Abstracts FLoC 2010
- 15:58, 18 June 2010 (diff | hist) . . (+184) . . MLQA 2010 (Undo revision 197 by Nataliya (Talk))
- 15:58, 18 June 2010 (diff | hist) . . (+1,008) . . Abstracts FLoC 2010 (Undo revision 198 by Nataliya (Talk))
- 15:55, 18 June 2010 (diff | hist) . . (-1,008) . . Abstracts FLoC 2010
- 15:55, 18 June 2010 (diff | hist) . . (-184) . . MLQA 2010
- 15:48, 17 June 2010 (diff | hist) . . (+4) . . MLQA 2010
- 15:47, 17 June 2010 (diff | hist) . . (+2) . . Abstracts FLoC 2010
- 15:41, 17 June 2010 (diff | hist) . . (+33) . . Abstracts FLoC 2010
- 15:40, 17 June 2010 (diff | hist) . . (+973) . . Abstracts FLoC 2010
- 15:39, 17 June 2010 (diff | hist) . . (+100) . . MLQA 2010
- 09:54, 16 June 2010 (diff | hist) . . (+1,346) . . Abstracts FLoC 2010
- 09:53, 16 June 2010 (diff | hist) . . (+87) . . MLQA 2010
- 08:40, 16 June 2010 (diff | hist) . . (+90) . . Abstracts FLoC 2010
- 08:39, 16 June 2010 (diff | hist) . . (+272) . . MLQA 2010
- 08:37, 16 June 2010 (diff | hist) . . (+80) . . MLQA 2010
- 08:34, 16 June 2010 (diff | hist) . . (+11) . . Abstracts FLoC 2010
- 08:28, 16 June 2010 (diff | hist) . . (0) . . MLQA 2010
- 08:27, 16 June 2010 (diff | hist) . . (+27) . . MLQA 2010
- 08:26, 16 June 2010 (diff | hist) . . (0) . . m Abstracts FLoC 2010 (Abstracts moved to Abstracts FLoC 2010)
- 08:26, 16 June 2010 (diff | hist) . . (+33) . . N Abstracts (Abstracts moved to Abstracts FLoC 2010) (current)
- 08:26, 16 June 2010 (diff | hist) . . (+4) . . Abstracts FLoC 2010
- 08:25, 16 June 2010 (diff | hist) . . (-24) . . MLQA 2010
- 08:19, 16 June 2010 (diff | hist) . . (+17) . . MLQA 2010
- 08:05, 16 June 2010 (diff | hist) . . (0) . . Abstracts FLoC 2010
- 08:04, 16 June 2010 (diff | hist) . . (+30) . . Abstracts FLoC 2010
- 07:59, 16 June 2010 (diff | hist) . . (+36) . . Abstracts FLoC 2010
- 07:53, 16 June 2010 (diff | hist) . . (+1,069) . . Abstracts FLoC 2010
- 07:49, 16 June 2010 (diff | hist) . . (+1,663) . . Abstracts FLoC 2010
- 07:45, 16 June 2010 (diff | hist) . . (-1) . . Abstracts FLoC 2010
- 07:45, 16 June 2010 (diff | hist) . . (+4) . . Abstracts FLoC 2010
- 07:44, 16 June 2010 (diff | hist) . . (+84) . . Abstracts FLoC 2010
- 07:43, 16 June 2010 (diff | hist) . . (0) . . m Abstracts FLoC 2010 (The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. moved to Abstracts)
- 07:43, 16 June 2010 (diff | hist) . . (+23) . . N The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. (The 2-valued and the 3-Valued Abstraction-Refinement Frameworks in Model Checking. moved to Abstracts) (current)
- 09:52, 11 June 2010 (diff | hist) . . (-1) . . MLQA 2010
- 09:51, 11 June 2010 (diff | hist) . . (+8) . . Abstracts FLoC 2010
- 09:48, 11 June 2010 (diff | hist) . . (+2) . . MLQA 2010
- 09:47, 11 June 2010 (diff | hist) . . (+1,027) . . N Abstracts FLoC 2010 (New page: Model checking is a widely used technique for automatic verification of hardware and software systems. Significant amount of research in model checking is devoted to extending its scope t...)
- 09:46, 11 June 2010 (diff | hist) . . (+59) . . MLQA 2010
- 09:44, 11 June 2010 (diff | hist) . . (+2) . . MLQA 2010
- 09:44, 11 June 2010 (diff | hist) . . (+72) . . MLQA 2010
- 13:26, 13 May 2010 (diff | hist) . . (-1) . . MLQA 2010
- 13:21, 13 May 2010 (diff | hist) . . (+207) . . Poster Session at MLQA 2010
- 14:18, 10 May 2010 (diff | hist) . . (+20) . . MLQA 2010
- 14:16, 10 May 2010 (diff | hist) . . (+20) . . MLQA 2010
- 14:15, 10 May 2010 (diff | hist) . . (+75) . . MLQA 2010
- 13:29, 19 March 2010 (diff | hist) . . (0) . . MLQA 2010
- 13:25, 19 March 2010 (diff | hist) . . (-15) . . MLQA 2010
- 13:24, 19 March 2010 (diff | hist) . . (+90) . . MLQA 2010
- 13:14, 19 March 2010 (diff | hist) . . (+48) . . MLQA 2010
- 13:12, 19 March 2010 (diff | hist) . . (+6) . . MLQA 2010
- 13:11, 19 March 2010 (diff | hist) . . (+98) . . MLQA 2010
- 13:31, 18 March 2010 (diff | hist) . . (+23) . . MLQA 2010
- 13:30, 18 March 2010 (diff | hist) . . (0) . . Main Page
- 13:30, 18 March 2010 (diff | hist) . . (0) . . m Poster Session at MLQA 2010 (Call for Posters for MLQA 2010 (as part of FLoC 2010)) moved to Call for Posters for MLQA 2010 (as part of FLoC 2010))
- 13:30, 18 March 2010 (diff | hist) . . (+67) . . N Call for Posters for MLQA 2010 (as part of FLoC 2010)) (Call for Posters for MLQA 2010 (as part of FLoC 2010)) moved to Call for Posters for MLQA 2010 (as part of FLoC 2010)) (current)
- 13:30, 18 March 2010 (diff | hist) . . (0) . . m Poster Session at MLQA 2010 (Call for Posters for MLQA 2010 moved to Call for Posters for MLQA 2010 (as part of FLoC 2010)))
- 13:30, 18 March 2010 (diff | hist) . . (+68) . . N Call for Posters for MLQA 2010 (Call for Posters for MLQA 2010 moved to Call for Posters for MLQA 2010 (as part of FLoC 2010))) (current)
- 13:28, 18 March 2010 (diff | hist) . . (+2) . . Main Page
- 13:28, 18 March 2010 (diff | hist) . . (+21) . . Main Page
- 13:10, 18 March 2010 (diff | hist) . . (+14) . . Main Page
- 13:10, 18 March 2010 (diff | hist) . . (+32) . . Main Page
- 14:13, 16 March 2010 (diff | hist) . . (+7) . . Poster Session at MLQA 2010
- 14:12, 16 March 2010 (diff | hist) . . (+7) . . Poster Session at MLQA 2010
- 14:11, 16 March 2010 (diff | hist) . . (0) . . Poster Session at MLQA 2010
- 14:11, 16 March 2010 (diff | hist) . . (+1,140) . . N Poster Session at MLQA 2010 (New page: Important dates: ----------------------------------------------------- Abstract submission: June 18th, 2010 Submission deadline: June 25th, 2010 Author notification: June 28th, 2010 Me...)
- 14:10, 16 March 2010 (diff | hist) . . (+14) . . MLQA 2010
- 14:09, 16 March 2010 (diff | hist) . . (-17) . . Call for Posters (current)
- 14:08, 16 March 2010 (diff | hist) . . (+5) . . Call for Posters
- 14:07, 16 March 2010 (diff | hist) . . (-4) . . Call for Posters
- 14:05, 16 March 2010 (diff | hist) . . (0) . . Call for Posters
- 14:04, 16 March 2010 (diff | hist) . . (-30) . . Call for Posters
- 14:03, 16 March 2010 (diff | hist) . . (+1,186) . . N Call for Posters (New page: CALL FOR POSTERS Important dates: ----------------------------------------------------- Abstract submission: June 18th, 2010 Submission deadline: June 25th, 2010 Author notification: June...)
- 14:02, 16 March 2010 (diff | hist) . . (0) . . MLQA 2010
- 13:59, 16 March 2010 (diff | hist) . . (+65) . . MLQA 2010
- 13:19, 20 January 2010 (diff | hist) . . (-3) . . Contact (current)
- 13:17, 20 January 2010 (diff | hist) . . (-1) . . Introduction (current)
- 13:17, 20 January 2010 (diff | hist) . . (-1) . . Main Page
- 16:40, 23 December 2009 (diff | hist) . . (-1,061) . . Main Page
- 11:35, 18 December 2009 (diff | hist) . . (-650) . . Main Page
- 13:32, 16 December 2009 (diff | hist) . . (+94) . . Main Page
- 12:54, 16 December 2009 (diff | hist) . . (+2,864) . . N Introduction (New page: == ERCIM Working Group on Models and Logics for Quantitative Analysis (MLQA) == frame Models and Logics for Quantitative Analysis are seen as comprising process mod...)
- 12:48, 30 November 2009 (diff | hist) . . (+43) . . Contact
- 12:46, 30 November 2009 (diff | hist) . . (+30) . . Contact
- 12:45, 30 November 2009 (diff | hist) . . (-1) . . Contact
- 12:44, 30 November 2009 (diff | hist) . . (+2) . . Contact
- 12:44, 30 November 2009 (diff | hist) . . (+21) . . Contact
- 12:43, 30 November 2009 (diff | hist) . . (+36) . . Contact
- 12:43, 30 November 2009 (diff | hist) . . (+12) . . Contact
- 12:42, 30 November 2009 (diff | hist) . . (+3) . . Contact
- 12:41, 30 November 2009 (diff | hist) . . (-4) . . Contact
- 12:40, 30 November 2009 (diff | hist) . . (+494) . . Contact
- 12:20, 30 November 2009 (diff | hist) . . (+1) . . Contact
- 12:20, 30 November 2009 (diff | hist) . . (+390) . . Contact
- 15:17, 6 November 2009 (diff | hist) . . (+34) . . Press (current)
- 15:16, 6 November 2009 (diff | hist) . . (+68) . . Press
- 13:08, 6 November 2009 (diff | hist) . . (-3) . . Contact
- 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)