|
|
|
Size
|
Call for Papers: ABZ 2010 Conference, Orford, Québ ec, Canada, February 23-25, 2010 (corrected vers ion)
|
Jonathan Bowen |
Mon, 24 Nov 2008 18:45:47 -0000 |
205 lines |
1st Call for Papers: TASE 2009 - 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering
|
Jonathan Bowen |
Mon, 24 Nov 2008 17:59:26 -0000 |
127 lines |
Call for Papers: ABZ 2010 Conference, Orford, Québ ec, Canada, February 23-25, 2010
|
Jonathan Bowen |
Mon, 24 Nov 2008 17:56:39 -0000 |
151 lines |
*** Formal Aspects of Safety Critical Systems, 9 December 2008, London ***
|
Paul Boca |
Sat, 22 Nov 2008 20:11:35 +0000 |
152 lines |
FACS/LMS Seminar: The Equations of Computer Science, Prof. John Tucker, 11 November 2008, London
|
Paul Boca |
Wed, 5 Nov 2008 00:48:16 +0000 |
55 lines |
*** Formal Aspects of Safety Critical Systems, 9 December 2008, London ***
|
Paul Boca |
Wed, 5 Nov 2008 00:10:31 +0000 |
155 lines |