|
|
|
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 |
70 lines |
Last Call for Papers: WORLDCOMP'11 (The 2011 World Congress in Computer Science, Computer Engineering, and Applied Computing), USA, July 18-21, 2011
|
A. M. G. Solo |
Mon, 9 May 2011 14:35:34 -0700 |
179 lines |
CfP: 6th International Workshop on Systems Software Verification (SSV 2011)
|
Marco Roveri |
Tue, 17 May 2011 09:45:57 +0000 |
141 lines |
Extended deadline: GPCE 2011 Call for Papers
|
Chang Hwan Peter Kim |
Tue, 17 May 2011 14:55:10 -0500 |
184 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 |
102 lines |
Call for Papers: Formal Aspects of Virtual Organisaions 2011
|
Jeremy Bryans |
Fri, 20 May 2011 16:36:33 +0100 |
81 lines |
Call for Short Papers & Extended Abstracts: Conferences in Comp. Sci., Comp. Eng., and Applied Computing (WORLDCOMP'11), USA, July 18-21, 2011
|
A. M. G. Solo |
Fri, 27 May 2011 08:41:52 -0700 |
209 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 |
131 lines |
FM 2011 International Symposium on Formal Methods: Limericks Competition
|
Jonathan Bowen |
Tue, 31 May 2011 23:39:20 +0100 |
127 lines |