|
|
|
Size
|
ATVA 2008: Submission deadline approaching (May 5)
|
Farn |
Tue, 22 Apr 2008 13:17:55 +0800 |
351 lines |
Final (Revised, including Workshops) CfP for Verified Software: Theories, Tools, and Experiments 2008
|
Richard Paige |
Mon, 21 Apr 2008 10:22:36 +0100 |
115 lines |
Call for Papers: CFV'08, an IJCAR'08 workshop, Sydney, Australia, August 10 - 11, 2008
|
Miroslav Velev |
Mon, 21 Apr 2008 05:20:03 +0100 |
122 lines |
HASE 2008 CALL FOR PAPERS
|
tase08 |
Sat, 19 Apr 2008 16:51:01 +0800 |
140 lines |
|
Samir Genaim |
Fri, 18 Apr 2008 22:18:09 +0200 |
121 lines |
BCS-FACS Evening Seminar by Prof. Chris Johnson: Public Safety, Counter Terrorism and the Mathematics of Proof, 12 May 2008, BCS London Offices
|
Paul Boca |
Mon, 14 Apr 2008 20:23:48 +0100 |
74 lines |
PhD Position in Adaptive Security for Ambient Technology
|
Jan Ju''rjens |
Sun, 13 Apr 2008 11:44:34 +0100 |
101 lines |
2nd CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)
|
Workshop BPR |
Sun, 6 Apr 2008 22:05:03 -0700 |
93 lines |