|
|
|
Size
|
CfP: Special Issue on Automated Verification of Critical Systems - Elsevier Journal on Science of Computer Programming
|
AVOCS 2012 |
Wed, 31 Oct 2012 14:46:16 +0100 |
63 lines |
2nd CFP ASTEC 2013, 4th Asian Simulation Technology Conference, March 7-9, 2013, Westin Bund, Shanghai, China
|
Philippe Geril |
Wed, 31 Oct 2012 13:18:29 +0000 |
182 lines |
TAP 2013: 1st Call for Papers
|
Achim D. Brucker |
Tue, 30 Oct 2012 07:58:44 +0100 |
135 lines |
ESSS workshop 2013 -- 1st Call for Papers
|
Jun PANG |
Mon, 29 Oct 2012 13:49:24 +0100 |
115 lines |
SPIN 2013 CFP
|
Scott Stoller |
Sun, 28 Oct 2012 15:42:19 +0000 |
167 lines |
CfP: MBT 2013 Eighth Workshop on Model-Based Testing, March 17, 2013, Rome, Italy
|
Jonathan Bowen |
Fri, 26 Oct 2012 12:04:57 +0100 |
137 lines |
ICECCS 2013 in Singapore -- 1st Call for Papers
|
Jun PANG |
Tue, 23 Oct 2012 09:53:34 +0200 |
233 lines |
Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs
|
Achim D. Brucker |
Wed, 17 Oct 2012 09:24:03 +0200 |
102 lines |
SCP Special Issue on Invariant Generation - Call for Papers
|
Gudmund Grov |
Tue, 16 Oct 2012 12:24:17 +0100 |
98 lines |
integrated Formal Methods 2013, Turku, Finland - First Call for Papers
|
Luigia Petre |
Tue, 2 Oct 2012 10:49:21 +0300 |
155 lines |
CFP: HSCC 2013
|
Paolo Zuliani |
Mon, 1 Oct 2012 20:58:42 +0100 |
152 lines |