| Event | When | Where | Deadline | |
| Expired CFPs |
| 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) |
| LATA 2019 |
13th International Conference on Language and Automata Theory and Applications | |
| Mar 25, 2019 - Mar 29, 2019 |
Saint Petersburg |
Nov 11, 2018 |
| SBMF 2018 |
21st Brazilian Symposium on Formal Methods | |
| Nov 26, 2018 - Nov 30, 2018 |
Salvador, Brazil |
Jul 13, 2018 (Jul 2, 2018) |
| NCMA 2018 |
Non-Classical Models of Automata and Applications | |
| Aug 21, 2018 - Aug 22, 2018 |
Košice, Slovakia |
Jul 2, 2018 |
| RP 2018 |
Reachability Problems | |
| Sep 24, 2018 - Sep 26, 2018 |
Marseille, France |
Jun 15, 2018 |
| MFCS 2018 |
Mathematical Foundations of Computer Science | |
| Aug 27, 2018 - Aug 31, 2018 |
Liverpool, UK |
Apr 24, 2018 (Apr 20, 2018) |
| CONCUR 2018 |
29th International Conference on Concurrency Theory | |
| Sep 4, 2018 - Sep 7, 2018 |
Beijing, China |
Apr 23, 2018 (Apr 17, 2018) |
| PAAW 2018 |
Parameterized Approximation Algorithms Workshop | |
| Jul 9, 2018 - Jul 9, 2018 |
Prague, Czechia |
Apr 20, 2018 |
| UNIF 2018 |
32nd International Workshop on Unification | |
| Jul 7, 2018 - Jul 7, 2018 |
Oxford |
Apr 16, 2018 (Apr 9, 2018) |
| LearnAut 2018 |
[deadline extension] Learning and Automata (LearnAut) -- FLoC 2018 Workshop | |
| Jul 13, 2018 - Jul 13, 2018 |
University of Oxford, United Kingdom |
Mar 31, 2018 |
| FG 2018 |
The 23rd Conference on Formal Grammar | |
| Aug 11, 2018 - Aug 12, 2018 |
Sofia, Bulgari |
Mar 15, 2018 |
| CIAA 2018 |
23rd International Conference on Implementation and Application of Automata | |
| Jul 30, 2018 - Aug 2, 2018 |
Charlottetown, Canada |
Mar 11, 2018 |
| LATA 2018 |
12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Apr 8, 2018 - Apr 12, 2012 |
Ramat Gan, Israel |
Nov 7, 2017 |
| OPODIS 2017 |
OPODIS 2017 Call for Papers | |
| Dec 18, 2017 - Dec 20, 2017 |
Lisbon |
Sep 4, 2017 (Aug 28, 2017) |
| SBMF 2017 |
20th Brazilian Symposium on Formal Methods | |
| Nov 27, 2017 - Dec 1, 2017 |
Recife, Pernambuco, Brazil |
Jul 14, 2017 (Jul 7, 2017) |
| IPEC 2017 |
12th International Symposium on Parameterized and Exact Computation | |
| Sep 6, 2017 - Sep 8, 2017 |
Vienna |
Jun 28, 2017 (Jun 25, 2017) |
| EXPRESS/SOS 2017 |
Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics | |
| Sep 4, 2017 - Sep 4, 2017 |
Berlin |
Jun 23, 2017 |
| RP 2017 |
Reachability Problems | |
| Sep 7, 2017 - Sep 9, 2017 |
Royal Holloway, University of London |
Jun 19, 2017 |
| ICTCS 2017 |
18th Italian Conference on Theoretical Computer Science | |
| Sep 26, 2017 - Sep 29, 2017 |
Naples, Italy |
May 25, 2017 |
