| Event | When | Where | Deadline | | | Expired CFPs |
| ISOLA 2016 |
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | |
| Oct 5, 2016 - Oct 14, 2016 |
Corfu |
May 2, 2016 (Apr 25, 2016) |
| ICTAC 2016 |
13th International Colloquium on Theoretical Aspects of Computing | |
| Oct 24, 2016 - Oct 31, 2016 |
Taipei, Taiwan, ROC |
May 1, 2016 (Apr 23, 2016) |
| ICFEM 2016 |
International Conference on Formal Engineering Methods | |
| Nov 14, 2016 - Nov 18, 2016 |
Tokyo |
Apr 30, 2016 (Apr 22, 2016) |
| CONCUR 2016 |
The 27th International Conference on Concurrency Theory | |
| Aug 23, 2016 - Aug 26, 2016 |
Québec City, Canada |
Apr 18, 2016 (Apr 11, 2016) |
| SR 2016 |
4th International Workshop on Strategic Reasoning | |
| Jul 9, 2016 - Jul 10, 2016 |
New York |
Apr 18, 2016 |
| PSSV 2016 |
7th Workshop Program Semantics, Specification and Verification | |
| Jun 14, 2016 - Jun 14, 2016 |
Saint Petersburg, Russia |
Apr 15, 2016 |
| ICE 2016 |
9th Interaction and Concurrency Experience | |
| Jun 8, 2016 - Jun 9, 2016 |
Heraklion, Greece |
Apr 10, 2016 (Apr 3, 2016) |
| PEDISWESA 2016 |
8th IEEE International Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures | |
| Jun 27, 2016 - Jun 30, 2016 |
University of Messina, Messina, Italy |
Apr 10, 2016 |
| UTP 2016 |
The 6th International Symposium on Unifying Theories of Programming | |
| Jun 4, 2016 - Jun 5, 2016 |
Reykjavík, Iceland |
Mar 20, 2016 |
| QEST 2016 |
International Conference on Quantitative Evaluation of Systems | |
| Aug 23, 2016 - Aug 25, 2016 |
Quebec City, Canada |
Mar 14, 2016 (Mar 7, 2016) |
| SEFM 2016 |
14th International Conference on Software Engineering and Formal Methods | |
| Jul 4, 2016 - Jul 8, 2016 |
Vienna, Austria |
Feb 29, 2016 (Feb 22, 2016) |
| LSFA 2016 |
11th Workshop on Logical and Semantic Frameworks, with Applications | |
| Jun 25, 2016 - Jun 26, 2016 |
Porto, Portugal |
Feb 29, 2016 |
| SAT 2016 |
International Conference on Theory and Applications of Satisfiability Testing | |
| Jul 5, 2016 - Jul 8, 2016 |
Bordeaux, France |
Feb 21, 2016 (Feb 14, 2016) |
| iFMCloud 2016 |
The First International Workshop on Formal Methods for and on the Cloud | |
| Jun 4, 2016 - Jun 4, 2016 |
Reykjavik, Iceland |
Feb 20, 2016 (Feb 13, 2016) |
| NFM 2016 |
NASA Formal Methods Symposium | |
| Jun 7, 2016 - Jun 9, 2016 |
Mineapolis, MN, USA |
Feb 19, 2016 |
| NFM 2016 |
NASA Formal Methods Symposium | |
| Jun 7, 2016 - Jun 9, 2016 |
Minneapolis, MN, USA |
Feb 19, 2016 |
| DisCoTec 2016 |
11th International Federated Conferences on Distributed Computing Techniques | |
| Jun 6, 2016 - Jun 9, 2016 |
Heraklion, Crete, Greece |
Feb 15, 2016 (Feb 8, 2016) |
| V2CPS 2016 |
1st International Workshop on Verification and Validation of Cyber-Physical Systems | |
| Jun 1, 2016 - Jun 4, 2016 |
Reykjavik, Iceland |
Feb 15, 2016 |
| ARCH 2016 |
3rd International Workshop on Applied Verification for Continuous and Hybrid Systems | |
| Apr 12, 2016 - Apr 12, 2016 |
Vienna, Austria |
Feb 15, 2016 |
| FORTE 2016 |
36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems | |
| Jun 6, 2016 - Jun 9, 2016 |
Heraklion, Crete, Greece |
Feb 8, 2016 (Feb 1, 2016) |
|
