| Event | When | Where | Deadline | |
| Expired CFPs |
| SPIN 2016 |
23rd International SPIN symposium on Model Checking of Software | |
| Apr 7, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Jan 8, 2016 |
| QAPL 2016 |
Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems | |
| Apr 2, 2016 - Apr 3, 2016 |
Eindhoven, The Netherlands |
Jan 8, 2016 |
| WODES 2016 |
13th International Workshop on Discrete Event Systems | |
| May 30, 2016 - Jun 1, 2016 |
Xi'an China |
Jan 8, 2016 |
| iFM 2016 |
12th International Conference on integrated Formal Methods | |
| Jun 1, 2016 - Jun 3, 2016 |
Reykjavik, Iceland |
Jan 6, 2016 (Dec 21, 2015) |
| JLAMP SI WWV 2015 |
JLAMP - Special Issue on Automated Specification and Verification of Web Systems | |
| N/A |
N/A |
Nov 30, 2015 |
| MBMV 2016 |
19. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |
| Mar 1, 2016 - Mar 3, 2016 |
Freiburg im Breisgau, Germany |
Nov 12, 2015 |
| HSCC 2016 |
Hybrid Systems Computation and Control | |
| Apr 12, 2016 - Apr 14, 2016 |
Vienna |
Oct 23, 2015 (Oct 8, 2015) |
| FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| FTSCS 2015 |
4th International Workshop on Formal Techniques for Safety-Critical Systems | |
| Nov 6, 2015 - Nov 7, 2015 |
Paris |
Sep 13, 2015 (Sep 11, 2015) |
| VMCAI 2016 |
17th International Conference on Verification, Model Checking, and Abstract Interpretation | |
| Jan 17, 2016 - Jan 19, 2016 |
St. Petersburg, Florida, United States |
Sep 11, 2015 (Sep 4, 2015) |
| Special Issue in TLDKS 2015 |
Special Issue of Cloud Computing in Transactions on Large-Scale Data and Knowledge Centered Systems, Springer | |
| N/A |
N/A |
Sep 1, 2015 |
| 4PAD 2016 |
FORMAL APPROACHES TO PARALLEL AND DISTRIBUTED SYSTEMS | |
| Feb 17, 2016 - Feb 19, 2016 |
Heraklion Crete, Greece |
Aug 9, 2015 |
| HVC 2015 |
11th Haifa Verification Conference | |
| Nov 17, 2015 - Nov 19, 2015 |
Haifa, Israel |
Jul 31, 2015 |
| Computación y Sistemas: Thematic Issue 2015 |
Computación y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems | |
| N/A |
N/A |
Jul 31, 2015 |
| CONCUR-YR 2015 |
Young Researchers Workshop on Concurrency Theory | |
| Sep 5, 2015 - Sep 5, 2015 |
Madrid |
Jul 13, 2015 |
| FSTTCS 2015 |
35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | |
| Dec 16, 2015 - Dec 18, 2015 |
Bangalore, India |
Jul 13, 2015 |
| FACS 2015 |
12th International Conference on Formal Aspects of Component Software | |
| Oct 14, 2015 - Oct 16, 2015 |
Rio de Janeiro |
Jul 12, 2015 |
| SBMF 2015 |
The 18th Brazilian Symposium on Formal Methods | |
| Sep 21, 2015 - Sep 26, 2015 |
Belo Horizonte, MG, Brazil |
Jul 3, 2015 (Jun 27, 2015) |
| WPHS-ATVA 2015 |
Workshop on Probabilistic and Hybrid Systems | |
| Oct 12, 2015 - Oct 15, 2015 |
Shanghai, China |
Jul 1, 2015 |
