|
|
|
Size
|
FINAL CALL FOR PAPERS: FormaliSE 2013 (Submission deadline: 7 February)
|
Nico Plat |
Wed, 30 Jan 2013 16:55:46 +0100 |
150 lines |
CALL FOR PAPERS: The 11th Overture Workshop
|
Nico Plat |
Wed, 30 Jan 2013 12:15:47 +0100 |
91 lines |
FME AGM and Celebration of Formal Methods
|
Nico Plat |
Thu, 24 Jan 2013 16:32:41 +0100 |
35 lines |
Call for Papers: ICTAC 2013 - 10th International Colloquium on Theoretical Aspects of Computing, Shanghai, China, September 4-6, 2013
|
Jonathan Bowen |
Sun, 20 Jan 2013 23:37:01 +0000 |
328 lines |
TAP 2013: Final Call for Papers
|
Achim D. Brucker |
Fri, 18 Jan 2013 06:52:24 +0100 |
161 lines |
ARiSVe 2013 call for papers
|
Andrei Paskevich |
Tue, 15 Jan 2013 10:44:45 +0100 |
82 lines |
SCP Special Issue on Invariant Generation - Final Call for Papers [1 month to go]
|
Gudmund Grov |
Fri, 11 Jan 2013 09:06:02 +0000 |
97 lines |
SEFM 2013 -- Call for papers and workshop proposals
|
Haitao Dan |
Sun, 6 Jan 2013 23:23:08 +0000 |
163 lines |
Post-Doc position with Cliff Jones
|
Cliff Jones |
Thu, 3 Jan 2013 15:48:21 +0000 |
146 lines |
BCS APSG/FACS Meeting, London, 10 January 2013: Talk on Industrial Uses of Formal Methods by Jonathan Bowen
|
Jonathan Bowen |
Thu, 3 Jan 2013 15:20:07 +0000 |
140 lines |
Call for Papers: FormaliSE 2013 (held in conjunction with ICSE 2013)
|
Nico Plat |
Wed, 2 Jan 2013 07:05:22 +0100 |
147 lines |