Event | When | Where | Deadline | |
FM 2011 |
17th International Symposium on Formal Methods | |
Jun 20, 2011 - Jun 24, 2011 |
Lero, Limerick, Ireland |
Jan 10, 2011 |
ABZ 2012 |
3rd International ABZ 2012 Conference: Abstract State Machines (ASM), Alloy, B, VDM, Z | |
Jun 18, 2012 - Jun 22, 2012 |
CNR, Pisa, Italy |
Jan 14, 2012 (Feb 3, 2012) |
TASE 2012 |
6th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
Jul 4, 2012 - Jul 6, 2012 |
Beijing, China |
Jan 20, 2012 (Jan 13, 2012) |
EVA London 2012 |
Electronic Visualisation and the Arts London 2012 | |
Jul 10, 2012 - Jul 12, 2012 |
London, United Kingdom |
Jan 22, 2012 |
SEFM 2012 |
10th International Conference on Software Engineering and Formal Methods | |
Oct 1, 2012 - Oct 5, 2012 |
Thessaloniki, Greece |
Apr 19, 2012 (Apr 4, 2012) |
SEW 2012 |
35th IEEE Software Engineering Workshop | |
Oct 12, 2012 - Oct 13, 2012 |
Heraclion, Crete, Greece |
Jul 1, 2012 |
ICSE 2013 |
35th International Conference on Software Engineering | |
May 17, 2013 - May 23, 2013 |
San Francisco, CA, USA |
Aug 17, 2012 |
ICSE 2013 |
International Conference on Software Engineering | |
May 18, 2013 - May 26, 2013 |
San Francisco, USA |
Aug 17, 2012 |
ESSoS 2013 |
International Symposium on Engineering Secure Software and Systems | |
Feb 27, 2013 - Mar 1, 2013 |
Paris (Rocquencourt), France |
Sep 30, 2012 |
Ada-Europe 2013 |
18th International Conference on Reliable Software Technologies | |
Jun 10, 2013 - Jun 14, 2013 |
Berlin, Germany |
Dec 3, 2012 |
FESCA 2013 |
10th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
Mar 23, 2013 - Mar 23, 2013 |
Rome, Italy |
Dec 12, 2012 (Dec 5, 2012) |
NFM 2013 |
5th NASA Formal Methods Symposium | |
May 14, 2013 - May 16, 2013 |
Moffett Field, CA, USA |
Dec 16, 2012 (Dec 7, 2012) |
QAPL 2013 |
11th International Workshop on Quantitative Aspects of Programming Languages and Systems | |
Mar 23, 2013 - Mar 24, 2013 |
Rome, Italy, at ETAPS 2013 |
Dec 20, 2012 (Dec 16, 2012) |
iFM 2013 |
10th International Conference on integrated Formal Methods | |
Jun 10, 2013 - Jun 14, 2013 |
Turku, Finland |
Jan 17, 2013 (Jan 10, 2013) |
EVA London 2013 |
Electronic Visualisation and the Arts London | |
Jul 29, 2013 - Jul 31, 2013 |
London |
Jan 18, 2013 |
ICECCS 2013 |
International Conference on Engineering of Complex Computer Systems | |
Jul 17, 2013 - Jul 19, 2013 |
Singapore |
Feb 15, 2013 (Feb 1, 2013) |
FSE 2013 |
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering | |
Aug 21, 2013 - Aug 23, 2013 |
Saint Petersburg, Russia |
Mar 1, 2013 |
SPIN 2013 |
International SPIN Symposium on Model Checking of Software | |
Jul 8, 2013 - Jul 9, 2013 |
Stony Brook, NY, USA |
Mar 15, 2013 (Mar 8, 2013) |
SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
I2CS 2013 |
13th International Conference on Innovative Internet Community Systems 2013 | |
Jun 19, 2013 - Jun 21, 2013 |
Iserlohn (Germany) |
Apr 15, 2013 |
|