|
|
|
Size
|
Postdoc position at Carnegie Mellon University on Hybrid Systems Theorem Proving
|
André Platzer |
Thu, 29 May 2014 17:29:28 -0400 |
51 lines |
BCS-FACS talk on Alan Turing - 5 June 2014, London
|
Jonathan Bowen |
Wed, 28 May 2014 14:16:21 +0100 |
82 lines |
CfP IMBSA 2014: 4th International Symposium on Model-Based Safety and Assessment
|
Lipaczewski, Michael |
Fri, 23 May 2014 08:03:28 +0000 |
156 lines |
1st Call for Papers - 2nd Annual SIMEX'2014, December 3-5, 2014, The Hotel, Brussels, Belgium
|
Philippe Geril |
Fri, 16 May 2014 09:08:14 +0100 |
292 lines |
GandALF 2014: Extended deadlines
|
aniello murano |
Mon, 12 May 2014 10:52:12 +0200 |
97 lines |
VTSA 2014: Summer School on Verification Technology, Systems and Applications
|
Jun PANG |
Mon, 12 May 2014 09:47:27 +0200 |
65 lines |
OCL 2014: First Call for Papers
|
Achim D. Brucker |
Wed, 7 May 2014 22:38:43 +0200 |
165 lines |
Deadline extension: The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014)
|
Yuan-Fang Li |
Sun, 4 May 2014 20:22:59 +1000 |
83 lines |
CFP: Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14)
|
Miroslav Velev |
Fri, 2 May 2014 08:40:54 -0500 |
161 lines |
BCS-FACS evening seminar by Prof. Zhimimg Liu, London, 15 May 2014
|
Jonathan Bowen |
Thu, 1 May 2014 16:58:26 +0100 |
87 lines |
GandALF 2014: Call for papers
|
murano |
Thu, 1 May 2014 11:45:09 +0200 |
98 lines |