Event | When | Where | Deadline | |
FM 2016 |
Formal Methods Europe | |
Nov 7, 2016 - Nov 11, 2016 |
Cyprus |
TBD |
SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
FORMATS 2013 |
11th International Conference on Formal Modeling and Analysis of Timed Systems | |
Aug 29, 2013 - Aug 31, 2013 |
Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 2013) |
EMSOFT 2013 |
Embedded Software | |
Sep 29, 2013 - Oct 4, 2013 |
Montreal, Canada |
Apr 12, 2013 (Apr 5, 2013) |
ICFEM 2013 |
International Conference on Formal Engineering Methods | |
Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
QuoMBaT 2013 |
2nd Workshop on Quality of Model-Based Testing | |
Jul 15, 2013 - Jul 15, 2013 |
Lugano |
Apr 29, 2013 |
STVR-Special_Issue 2013 |
STVR Special Issue on Testing, Analysis and Debugging of Concurrent Programs | |
N/A |
N/A |
Apr 30, 2013 |
ASE 2013 |
28th IEEE/ACM International Conference on Automated Software Engineering | |
Nov 11, 2013 - Nov 15, 2013 |
Palo Alto, USA |
May 17, 2013 (May 10, 2013) |
SEDE 2013 |
The 22nd International Conference on Software Engineering and Data Engineering | |
Sep 25, 2013 - Sep 27, 2013 |
Los Angeles |
May 23, 2013 |
CSS 2013 |
5th International Symposium on Cyberspace Safety and Security | |
Nov 13, 2013 - Nov 15, 2013 |
Zhangjiajie, China |
Jun 15, 2013 |
IWoRE 2013 |
International Workshop on Requirements Engineering | |
Oct 19, 2013 - Oct 20, 2013 |
Constantine- Algeria |
Jun 28, 2013 |
SEPA/SQ/TTSDP 2013 |
Special Issues for Software Engineering Workshops | |
Jun 24, 2013 - Jun 27, 2013 |
Ho Chi Minh City, Vietnam |
Jul 31, 2013 (Feb 15, 2013) |
FTSCS 2013 |
Formal Techniques for Safety-Critical Systems 2013 | |
Oct 29, 2013 - Oct 29, 2013 |
Queenstown, New Zealand |
Sep 6, 2013 |
FM 2014 |
International Symposium on Formal Methods | |
May 12, 2014 - May 16, 2014 |
Singapore |
Nov 14, 2013 (Nov 7, 2013) |
FESCA 2014 |
11th International Workshop on Formal Engineering approaches to Software Components and Architectures | |
Apr 12, 2014 - Apr 12, 2014 |
Grenoble, France |
Dec 13, 2013 (Dec 6, 2013) |
SE 2013 |
Software Engineering Journal | |
N/A |
N/A |
Dec 30, 2013 |
IJCA 2013 |
International Journal of Computers and Applications | |
N/A |
N/A |
Dec 31, 2013 |
IJMS 2013 |
International Journal of Modelling and Simulation | |
Jan 1, 2013 - Dec 31, 2013 |
International |
Dec 31, 2013 |
ISSTA 2014 |
International Symposium on Software Testing and Analysis | |
Jul 21, 2014 - Jul 26, 2014 |
Hilton San Jose, Bay Area, CA, USA |
Jan 24, 2014 |
RE 2014 |
International Conference on Requirements Engineering | |
Aug 25, 2014 - Aug 29, 2014 |
Karlskrona, Sweden |
Mar 10, 2014 (Mar 3, 2014) |