|
|
|
Size
|
FACS/LMS Evening Seminar: The Equations of Computer Science, 11 November 2008, London Mathematical Society
|
Paul Boca |
Tue, 30 Sep 2008 21:20:19 +0100 |
60 lines |
2nd call for participation: Formal Aspects of Safety Critical Systems Workshop, 9 December 2008, London
|
Paul Boca |
Sat, 27 Sep 2008 09:43:59 +0100 |
124 lines |
special issue of AMAI on application of Constraints to Formal Verification and AI
|
Miroslav Velev |
Sat, 13 Sep 2008 18:50:32 -0500 |
40 lines |
Fwd: Call for participation: BCS-FACS/FME/SCSC Workshop on Formal Aspects of Safety Critical Systems
|
Paul Boca |
Sat, 13 Sep 2008 11:53:47 +0100 |
117 lines |
ATVA 2008: Call for Participation
|
Farn Wang |
Fri, 12 Sep 2008 09:47:31 +0800 |
159 lines |
BYTECODE09: 1st Call for Papers
|
Samir Genaim |
Tue, 2 Sep 2008 10:19:36 +0200 |
108 lines |