All CFPs for "verification"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click 
.
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| MARS2020 | MARS 2020 (4th Workshop on Models for Formal Analysis of Real Systems) | Dublin, Ireland | Jan 20, 2020 | Apr 26, 2020 | software engineering verification formal methods industrial critical systems | |
| PLACES 2020 | 12th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software | Dublin, Ireland | Feb 2, 2020 | Apr 26, 2020 | programming languages distributed and concurrent programming type systems verification | |
| PaPoC 2020 | 7th Workshop on Principles and Practice of Consistency for Distributed Data | Heraklion, Crete, Greece | Feb 21, 2020 | Apr 27, 2020 | distributed systems consistency replication verification | |
| FSCD 2020 | International Conference on Formal Structures for Computation and Deduction | Paris, France | Feb 13, 2020 | Jun 29, 2020 | calculi semantics computation verification | |
| CAV 2020 | 32nd International Conference on Computer Aided Verification | Los Angeles, CA, United States | Jan 28, 2020 | Jul 19, 2020 | formal methods verification synthesis logic | |
| HSB 2020 | 7th International Workshop on Hybrid Systems Biology | Vienna, Austria | Feb 11, 2020 | Sep 4, 2020 | computational biology modeling verification control | |
| LOPSTR 2020 | 30th International Symposium on Logic-based Program Synthesis and Transformation | Bologna, Italy | Jun 12, 2020 | Sep 7, 2020 | program transformation verification modelling | |
| PPDP 2020 | 22nd International Symposium on Principles and Practice of Declarative Programming | Bologna, Italy | May 15, 2020 | Sep 8, 2020 | declarative programming artificial intelligence verification databases | |
| ICFEM'20 | The 22nd International Conference on Formal Engineering Methods | Singapore, Singapore | May 1, 2020 | Nov 2, 2020 | software engineering formal methods verification program analysis | |