|
|
|
Size
|
R&D position in Formal Verification, Advanced Research Center, Atrenta France
|
Roberto Bruttomesso |
Tue, 6 Nov 2012 12:56:34 +0100 |
352 lines |
|
Roberto Bruttomesso |
Tue, 6 Nov 2012 12:53:00 +0100 |
208 lines |
*** Peter Landin Annual Semantics Seminar, 3 December, BCS London: Unifying Theories of programming, Professor Sir Tony Hoare
|
Paul Boca |
Mon, 12 Nov 2012 22:08:17 +0000 |
111 lines |
integrated Formal Methods 2013, Turku, Finland: 2nd Call for Papers
|
Luigia Petre |
Tue, 20 Nov 2012 12:21:26 +0200 |
171 lines |
Lero Invited Speakers - Prof Jonathan Bowen & Prof Steve Reeves - TCD Large Conference Room - 9th November - 3-5pm
|
Jonathan Bowen |
Wed, 7 Nov 2012 13:02:48 +0000 |
1382 lines |
CfP: ICTAC 2013: 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China, 4-6 September 2013
|
Jonathan Bowen |
Thu, 8 Nov 2012 15:47:52 +0000 |
321 lines |