|
|
|
Size
|
Post-doctoral job in formal verification and medical devices at Queen Mary, University of London
|
Paul Curzon |
Fri, 28 May 2010 08:45:28 +0000 |
89 lines |
PhD position available on `The Productive Use of Failure in Formal Methods'
|
Gudmund Grov |
Thu, 27 May 2010 17:30:40 +0100 |
101 lines |
Two PhD positions on verification of complex hierarchical systems
|
Tim Willemse |
Tue, 25 May 2010 11:48:41 +0200 |
135 lines |
Call for Papers (ICFEM 2010)
|
Huibiao Zhu |
Sun, 23 May 2010 20:37:15 +0800 |
315 lines |
EXTENDED DEADLINE: VSTTE workshops on Theory and on Experiments & Tools
|
Gudmund Grov |
Fri, 21 May 2010 15:55:59 +0100 |
63 lines |
Call for Papers - UTP 2010: The 3rd International Symposium on Unifying Theories of Programming
|
QIN S. |
Tue, 18 May 2010 18:03:35 +0100 |
128 lines |
Call for Participation - The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'10)
|
jun sun |
Tue, 18 May 2010 19:09:56 +0800 |
82 lines |
Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications
|
Jun PANG |
Mon, 17 May 2010 13:45:38 +0200 |
52 lines |
MULTICONF-10 Call for papers
|
James Heralds |
Fri, 14 May 2010 06:00:11 -0400 |
62 lines |
Final Call for Papers: VSTTE workshops on Theory and on Experiments & Tools
|
Gudmund Grov |
Fri, 14 May 2010 10:31:54 +0100 |
69 lines |
Final Call for Papers: WORLDCOMP'10 (conferences in comp. sci., comp. eng., and applied computing), USA, paper submission deadline: May 21, 2010
|
A. M. G. Solo |
Wed, 12 May 2010 01:20:56 -0700 |
304 lines |
Call for Papers (ICFEM 2010)
|
Huibiao Zhu |
Wed, 12 May 2010 08:41:05 +0800 |
313 lines |
2nd Call for Papers: VSTTE workshops on Theory and on Experiments & Tools
|
Gudmund Grov |
Tue, 4 May 2010 12:48:58 +0100 |
67 lines |
Fwd: CFP: IJCCBS Special Issue on Resilient Servers and Data Centers
|
Francesco Flammini |
Tue, 4 May 2010 12:12:36 +0200 |
78 lines |