| Event | When | Where | Deadline | |
| RP 2019 |
13th International Conference on Reachability Problems (RP 2019) | |
| Sep 11, 2019 - Sep 13, 2019 |
BRUSSELS, BELGIUM |
Jun 17, 2019 |
| Expired CFPs |
| Blockchain-Consensus 2019 |
Blockchain Consensus Algorithms (Contributed Book) | |
| Nov 30, 2019 - Nov 30, 2019 |
N/A |
Jun 15, 2019 |
| RTEE 2019 |
5th International Conference on Recent Trends in Electrical Engineering | |
| Jun 22, 2019 - Jun 23, 2019 |
Dubai,UAE |
Jun 1, 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) |
| 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 |
|
