| Event | When | Where | Deadline | | | Expired CFPs |
| HLDVT 2016 |
IEEE International High-Level Design Validation and Test Workshop | |
| Oct 7, 2016 - Oct 8, 2016 |
Santa Cruz, CA, USA |
Jul 31, 2016 (Jul 17, 2016) |
| HVC 2016 |
Haifa Verification Conference | |
| Nov 14, 2016 - Nov 16, 2016 |
Haifa, Israel |
Jul 14, 2016 |
| TIME 2016 |
23rd International Symposium on Temporal Representation and Reasoning | |
| Oct 17, 2016 - Oct 19, 2016 |
Copenhagen, Denmark |
Jun 20, 2016 |
| SCiA 2017 |
4th Software Challenges in Aerospace Symposium | |
| Jan 9, 2017 - Jan 13, 2017 |
Gaylord Texan, Grapevine, Texas |
Jun 6, 2016 |
| GandALF 2016 |
The Seventh International Symposium on Games, Automata, Logics and Formal Verification | |
| Sep 14, 2016 - Sep 16, 2016 |
Catania, Italy |
May 27, 2016 (May 20, 2016) |
| V&V track @ QUATIC 2016 |
Quality Aspects in Verification and Validation | |
| Sep 7, 2016 - Sep 9, 2016 |
Lisbon |
May 15, 2016 |
| ATVA 2016 |
14th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 17, 2016 - Oct 19, 2016 |
Chiba, Japan |
May 13, 2016 (May 7, 2016) |
| MOVEP 2016 |
12th Summer School on Modelling and Verification of Parallel Processes | |
| Jun 27, 2016 - Jul 1, 2016 |
Genova |
May 10, 2016 |
| 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) |
| FORMATS 2016 |
14th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Aug 24, 2016 - Aug 26, 2016 |
Quebec City, Canada |
Apr 22, 2016 (Apr 15, 2016) |
| CMSB 2016 |
14th International Conference on Computational Methods in Systems Biology | |
| Sep 21, 2016 - Sep 23, 2016 |
University of Cambridge (UK) |
Apr 22, 2016 (Apr 15, 2016) |
| CSTVA 2016 |
International workshop on Constraints in Software Testing, Verification and Analysis 2016 (CSTVA'16) | |
| Jul 17, 2016 - Jul 17, 2016 |
Saarbruecken, Germany |
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) |
| VECoS 2016 |
International Workshop on Verification and Evaluation of Computer and Communication Systems | |
| Oct 6, 2016 - Oct 7, 2016 |
Tunis, Tunisia |
Apr 18, 2016 |
| CSL 2016 |
25th EACSL Annual Conference on Computer Science Logic | |
| Aug 29, 2016 - Sep 1, 2016 |
Marseille, France |
Apr 15, 2016 (Apr 8, 2016) |
| EMSOFT 2016 |
ACM SIGBED International Conference on Embedded Software | |
| Oct 2, 2016 - Oct 7, 2016 |
Pittsburgh, PA |
Apr 8, 2016 (Apr 1, 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 |
|
