|
|
|
Size
|
REMINDER: BCS-FACS Evening Seminar by Dr Simon Gay, Formal Methods for Quantum Systems, 11 May 2011, BCS London Offices, Covent Garden, London
|
Paul Boca |
Tue, 3 May 2011 22:27:00 +0100 |
69 lines |
[fm-announcements] RV 2011 - call for papers + tutorial and tool demo proposals
|
Havelund, Klaus (318M) |
Thu, 5 May 2011 20:16:53 -0700 |
379 lines |
Call for participation: FM 2011 International Symposium on Formal Methods, 20-24 June 2011, Limerick, Ireland
|
Jonathan Bowen |
Wed, 18 May 2011 15:39:05 +0100 |
101 lines |
[fm-announcements] RV 2011 final CfP -- paper deadline extension: June 12, 2011
|
Havelund, Klaus (318M) |
Thu, 26 May 2011 12:58:20 -0700 |
382 lines |
Re: Call for participation: FM 2011 International Symposium on Formal Methods, 20-24 June 2011, Limerick, Ireland
|
Jonathan Bowen |
Sun, 29 May 2011 18:57:25 +0100 |
130 lines |
FM 2011 International Symposium on Formal Methods: Limericks Competition
|
Jonathan Bowen |
Tue, 31 May 2011 23:39:20 +0100 |
263 lines |