| Event | When | Where | Deadline | | | Expired CFPs |
| RP 2020 |
14th International Conference on Reachability Problems (RP'20) | |
| Oct 19, 2020 - Oct 21, 2020 |
Paris, France |
Jul 17, 2020 |
| SBMF 2020 |
23rd Brazilian Symposium on Formal Methods | |
| Nov 25, 2020 - Nov 27, 2020 |
Ouro Preto / Brazil |
Jul 17, 2020 (Jul 10, 2020) |
| GandALF 2020 |
11th International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 21, 2020 - Sep 23, 2020 |
Brussels, Belgium |
Jul 5, 2020 (Jun 30, 2020) |
| ICTAC 2020 |
17th International Colloquium on Theoretical Aspects of Computing | |
| Dec 2, 2020 - Dec 4, 2020 |
Macao |
Jun 26, 2020 (Jun 22, 2020) |
| EXPRESS/SOS 2020 |
Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics | |
| Aug 31, 2020 - Aug 31, 2020 |
Vienna, Austria |
Jun 26, 2020 |
| DCFS 2020 |
22nd International Conference on Descriptional Complexity of Formal Systems | |
| N/A |
paper publication in Springer LNCS |
Jun 15, 2020 |
| TQC 2020 |
15th Conference on the Theory of Quantum Computation, Communication and Cryptography | |
| Jun 9, 2020 - Jun 12, 2020 |
Riga, Latvia |
Feb 15, 2020 |
| CSR 2020 |
15th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA | |
| Jun 29, 2020 - Jul 3, 2020 |
Yekaterinburg |
Feb 13, 2020 |
| ICALP 2020 |
47th International Colloquium on Automata, Languages and Programming | |
| Jul 8, 2020 - Jul 12, 2020 |
Beijing, China |
Feb 12, 2020 |
| LATA 2020 |
14th International Conference on Language and Automata Theory and Applications | |
| Mar 2, 2020 - Mar 6, 2020 |
Milan |
Oct 18, 2019 |
| MATCOS 2019 |
Middle-European Conference on Applied Theoretical Computer Science | |
| Oct 10, 2019 - Oct 11, 2019 |
Koper, Slovenia |
Aug 25, 2019 |
| RP 2019 |
13th International Conference on Reachability Problems (RP 2019) | |
| Sep 11, 2019 - Sep 13, 2019 |
BRUSSELS, BELGIUM |
Jun 17, 2019 |
| Stringology 2019 |
23rd Prague Stringology Conference | |
| Aug 26, 2019 - Aug 28, 2019 |
Prague, Czech Republic |
May 12, 2019 |
| GCM 2019 |
10th International Workshop on Graph Computation Models | |
| Jul 17, 2019 - Jul 17, 2019 |
Eindhoven, The Netherlands |
May 7, 2019 (May 2, 2019) |
| WORDS 2019 |
12th International Conference on Words | |
| Sep 9, 2019 - Sep 13, 2019 |
Loughborough, UK |
Apr 12, 2019 |
| NCMA 2019 |
11th International Workshop on Non-Classical Models of Automata and Applications | |
| Jul 2, 2019 - Jul 3, 2019 |
Valencia, Spain |
Apr 8, 2019 |
| LearnAut 2019 |
Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop | |
| Jun 23, 2019 - Jun 23, 2019 |
Vancouver, Canada |
Apr 6, 2019 |
| ICALP 2019 |
46th International Colloquium on Automata, Languages, and Programming | |
| Jul 8, 2019 - Jul 12, 2019 |
Patras, Greece |
Feb 18, 2019 |
| Petri Nets 2019 |
Applications and Theory of Petri Nets | |
| Jun 23, 2019 - Jun 28, 2019 |
Aachen, Germany |
Jan 22, 2019 (Jan 16, 2019) |
| LICS 2019 |
Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) | |
| Jun 24, 2019 - Jun 27, 2019 |
Vancouver |
Jan 11, 2019 (Jan 4, 2019) |
|
