|
|
|
Size
|
Research Associate. DYVERSE: A New Kind of Control for Hybrid Systems
|
Eva Navarro |
Sat, 23 Oct 2010 15:26:02 +0100 |
1664 lines |
New Formal methods position in Denmark
|
Peter Gorm Larsen |
Fri, 22 Oct 2010 18:14:29 +0200 |
32 lines |
BCS-FACS/LMS Evening Seminar by Prof. Peter O'Hearn: Reasoning about programs using a scientific method, 16 November 2010, 6pm, London
|
Paul Boca |
Sat, 16 Oct 2010 16:57:41 +0100 |
84 lines |
Call for Workshops: QSIC 2011 -- 11th International Conference on Quality Software
|
Haitao Dan |
Fri, 15 Oct 2010 11:29:25 +0100 |
218 lines |
CfP: QSIC 2011 -- 11th International Conference on Quality Software
|
Haitao Dan |
Fri, 15 Oct 2010 10:59:30 +0100 |
174 lines |
FM 2011 (20-24 June 2011, Limerick, Ireland): Call for Tutorials
|
Jonathan Bowen |
Tue, 5 Oct 2010 21:59:47 +0100 |
63 lines |