User contributions
Jump to navigation
Jump to search
- 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 +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 (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 +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: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: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