Event | When | Where | Deadline | |
SEFM 2013 |
International Conference on Software Engineering and Formal Methods | |
Sep 23, 2013 - Sep 27, 2013 |
Madrid, Spain |
Apr 1, 2013 (Mar 25, 2013) |
CONCUR 2013 |
International Conference on Concurrency Theory | |
Aug 27, 2013 - Aug 30, 2013 |
University of Buenos Aires, Argentina |
Apr 8, 2013 (Apr 1, 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) |
ESOCC 2013 |
European Conference on Service-Oriented and Cloud Computing | |
Sep 11, 2013 - Sep 13, 2013 |
Málaga, Spain |
Apr 21, 2013 |
ICFEM 2013 |
International Conference on Formal Engineering Methods | |
Oct 29, 2013 - Nov 1, 2013 |
Queenstown, New Zealand |
Apr 22, 2013 (Apr 15, 2013) |
FHIES 2013 |
Foundations of Health Information Engineering and Systems | |
Aug 21, 2013 - Aug 23, 2013 |
Macau |
May 6, 2013 (Apr 29, 2013) |
WISE 2013 |
The 14th International Conference on Web Information Systems Engineering | |
Oct 13, 2013 - Oct 15, 2013 |
Nanjing, China |
May 22, 2013 |
WS-FM 2013 |
10th International Workshop on Web Services and Formal Methods (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing | |
Aug 29, 2013 - Aug 29, 2013 |
Beijing, China |
Jun 2, 2013 (May 24, 2013) |
ICSOC 2013 |
11th International Conference on Service Oriented Computing (ICSOC 2013) | |
Dec 2, 2013 - Dec 5, 2013 |
Berlin, Germany |
Jun 14, 2013 (Jun 7, 2013) |
WS-FM:FASOCC 2014 |
11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing | |
Sep 11, 2014 - Sep 12, 2014 |
Haifa, Israel |
Jun 9, 2014 |
FTSCS 2014 |
Third International Workshop on Formal Techniques for Safety-Critical Systems | |
Nov 6, 2014 - Nov 7, 2014 |
Luxembourg |
Sep 6, 2014 |
SEFM 2015 |
International Conference on Software Engineering and Formal Methods SEFM 2015 | |
Sep 7, 2015 - Sep 11, 2015 |
York, UK |
Mar 20, 2015 (Mar 13, 2015) |