| Event | When | Where | Deadline | |
| CSE 2019 |
7th International Conference on Computational Science and Engineering | |
| Apr 27, 2019 - Apr 28, 2019 |
Copenhagen, Denmark |
Feb 16, 2019 |
| ICALP 2019 |
46th International Colloquium on Automata, Languages, and Programming | |
| Jul 8, 2019 - Jul 12, 2019 |
Patras, Greece |
Feb 18, 2019 |
| LearnAut 2019 |
Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop | |
| Jun 23, 2019 - Jun 23, 2019 |
Vancouver, Canada |
Mar 30, 2019 |
| WORDS 2019 |
12th International Conference on Words | |
| Sep 9, 2019 - Sep 13, 2019 |
Loughborough, UK |
Apr 12, 2019 |
RP 2019 |
13th International Conference on Reachability Problems (RP 2019) | |
| Sep 11, 2019 - Sep 13, 2019 |
BRUSSELS, BELGIUM |
Jun 7, 2019 (May 31, 2019) |
| 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) |
|
