| Event | When | Where | Deadline | | | Expired CFPs |
| AFL 2023 |
16th International Conference on Automata and Formal Languages | |
| Sep 5, 2023 - Sep 7, 2023 |
Eger, Hungary |
Jun 4, 2023 |
| NCMA 2023 |
13th International Workshop on Non-Classical Models of Automata and Applications | |
| Sep 18, 2023 - Sep 19, 2023 |
Famagusta, Cyprus |
May 31, 2023 |
| Highlights 2023 |
Highlights of Logic, Games and Automata | |
| Jul 24, 2023 - Jul 28, 2023 |
Kassel, Germany |
Apr 25, 2023 |
| AUTOMATA 2023 |
29th International Workshop on Cellular Automata and Discrete Complex Systems | |
| Aug 30, 2023 - Sep 1, 2023 |
Trieste, Italy |
Apr 21, 2023 |
| CCCG 2023 |
CANADIAN CONFERENCE ON COMPUTATIONAL GEOMETRY | |
| Aug 2, 2023 - Aug 4, 2023 |
Montreal, Canada |
Apr 14, 2023 |
| CIAA 2023 |
27th International Conference on Implementation and Application of Automata | |
| Sep 19, 2023 - Sep 22, 2023 |
Famagusta, Cyprus |
Apr 14, 2023 |
| QCW 2023 |
Quantum Computing Thematic Track at ICCS 2023 | |
| Jul 3, 2023 - Jul 5, 2023 |
Prague, Czech Republic |
Feb 3, 2023 |
| CS&SE@SW 2022 |
5th Workshop for Young Scientists in Computer Science & Software Engineering | |
| Dec 16, 2022 - Dec 16, 2022 |
Kryvyi Rih, Ukraine |
Oct 11, 2022 |
| ICLA 2022 |
10th Indian Conference on Logic and its Applications | |
| Mar 3, 2022 - Mar 5, 2022 |
India |
Oct 2, 2022 |
| STACS 2023 |
Symposium on Theoretical Aspects of Computer Science | |
| Mar 7, 2023 - Mar 10, 2023 |
Hamburg, Germany |
Sep 25, 2022 |
| RP 2022 |
The 16th International Conference on Reachability Problems | |
| Oct 17, 2022 - Oct 21, 2022 |
Kaiserslautern |
Jul 14, 2022 |
| EBL 2022 |
20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic Conference | |
| Sep 12, 2022 - Sep 16, 2022 |
Salvador - Bahia, Brazil |
Jun 5, 2022 |
| LATIN 2022 |
The 15th Latin American Theoretical Informatics Symposium | |
| Nov 7, 2022 - Nov 11, 2022 |
Guanajuato, Mexico |
May 30, 2022 (May 27, 2022) |
| Linearity & TLLA - 2022 |
Third Joint International Workshop on Linearity and Trends in Linear Logic and its Applications | |
| Jul 31, 2022 - Aug 1, 2022 |
Haifa, Israel |
May 20, 2022 |
| ICFEM 2022 |
23th International Conference on Formal Engineering Methods | |
| Oct 24, 2022 - Oct 27, 2022 |
Madrid |
Apr 17, 2022 (Apr 10, 2022) |
| ICDT 2023 |
International Conference on Database Theory | |
| Mar 28, 2023 - Mar 31, 2023 |
Ioannina, Greece |
Mar 21, 2022 (Mar 14, 2022) |
| HPlan 2022 |
ICAPS Hierarchical Planning Workshop | |
| Jun 20, 2022 - Jun 21, 2022 |
Singapore |
Mar 18, 2022 |
| Highlights 2022 |
Highlights of Logic, Games and Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Paris, France |
Mar 18, 2022 |
| CIAA 2022 |
Conference on Implementation and Application of Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Rouen, France |
Feb 28, 2022 |
| CIAA 2022 |
26th International Conference on Implementation and Application of Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Rouen, France |
Feb 20, 2022 |
|
