|
|
|
Size
|
Preliminary Programme - ESM'2013, October 23-25, 2013, Lancaster University, Lancaster, United Kingdom
|
Philippe Geril |
Mon, 30 Sep 2013 12:20:12 +0100 |
456 lines |
PhD Scholarships in Software Verification for Product Lines
|
Andrzej Wąsowski |
Mon, 30 Sep 2013 11:40:45 +0200 |
46 lines |
Fwd: BCS FACS - Annual Peter Landin Semantics Seminar: Rationalism v Hardware, by Prof. Richard Bornat, 2 December 2013, 6pm.
|
Paul Boca |
Mon, 30 Sep 2013 10:37:29 +0100 |
92 lines |
HSCC 2014: Call for Papers
|
Paolo Zuliani |
Wed, 25 Sep 2013 14:49:53 +0100 |
150 lines |
Deadline extended --- ICST'14
|
Miroslav Velev |
Fri, 20 Sep 2013 02:23:29 -0500 |
357 lines |
Call for papers - CFV'13
|
Miroslav Velev |
Fri, 20 Sep 2013 00:28:34 -0500 |
144 lines |
1st CFP MESM'2014, 14TH Annual Middle Eastern Simulation and Modelling Conference, February 3-5, 2014, AOU, Muscat, Oman
|
Philippe Geril |
Mon, 16 Sep 2013 10:36:09 +0100 |
573 lines |
Call for Workshop Proposals for FM 2014
|
jun sun |
Sun, 15 Sep 2013 10:14:52 +0800 |
77 lines |
Software Verification and Testing Track at ACM SAC 2014: Submission deadline extended
|
Jun PANG |
Thu, 12 Sep 2013 11:52:22 +0200 |
128 lines |
SoSyM Special Issue on Integrated Formal Methods
|
Luigia Petre |
Thu, 12 Sep 2013 09:14:39 +0300 |
113 lines |
TPNC 2013: call for posters
|
GRLMC |
Wed, 11 Sep 2013 11:34:30 +0200 |
80 lines |
Oberwolfach Seminar on Mathematics for Scientific Programming
|
Jeremy Gibbons |
Thu, 5 Sep 2013 14:55:58 +0100 |
134 lines |