| Event | When | Where | Deadline | |
| LANMR 2024 |
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning | |
| Sep 6, 2024 - Sep 7, 2024 |
Oaxaca, Mexico |
Jun 1, 2024 |
| CSL 2025 |
Computer Science Logic | |
| Feb 10, 2025 - Feb 14, 2025 |
Amsterdam |
Jul 23, 2024 (Jul 18, 2024) |
| Expired CFPs |
| CONCUR 2024 |
International Conference on Concurrency Theory | |
| Sep 9, 2024 - Sep 13, 2024 |
Calgary, Canada |
Apr 26, 2024 |
| SAT 2024 |
The 27th International Conference on Theory and Applications of Satisfiability Testing | |
| Aug 21, 2024 - Aug 24, 2024 |
Pune, India |
Mar 15, 2024 (Mar 8, 2024) |
| LANMR 2023 |
15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning | |
| Nov 16, 2023 - Nov 17, 2023 |
Mexico City |
Sep 8, 2023 |
| CSL 2024 |
32nd EACSL Annual Conference on Computer Science Logic | |
| Feb 19, 2024 - Feb 24, 2024 |
Napoli, Italy |
Jul 31, 2023 (Jul 24, 2023) |
| RP 2023 |
The 17th International Conference on Reachability Problems | |
| Oct 11, 2023 - Oct 13, 2023 |
Nice, France |
Jul 4, 2023 |
| ESSLLI 2023 |
European Summer School in Logic, Language and Information | |
| Jul 31, 2023 - Aug 11, 2023 |
Ljubljana, Slovenia 🐉 |
Jun 14, 2023 |
| LAIIL 2023 |
International Workshop on Logic, AI and Law | |
| Sep 11, 2023 - Sep 12, 2023 |
Hybrid mode, Hangzhou, China |
Jun 10, 2023 |
| MOSAIC 2023 |
Modalities in Substructural Logics: Theory, Methods and Applications | |
| Sep 27, 2023 - Sep 29, 2023 |
Vienna, Austria |
Jun 2, 2023 |
| ESSLLI 2023 |
European Summer School in Logic, Language and Information | |
| Jul 31, 2023 - Aug 11, 2023 |
Ljubljana, Slovenia |
May 31, 2023 |
| KoDis 2023 |
Workshop on Knowledge Diversity | |
| Sep 2, 2023 - Sep 8, 2023 |
Rhodes, Greece |
May 31, 2023 |
| JELIA 2023 |
18th European Conference on Logics in Artificial Intelligence | |
| Sep 20, 2023 - Sep 22, 2023 |
Dresden |
May 25, 2023 (May 22, 2023) |
| FMCAD 2023 |
2023 Formal Methods in Computer-Aided Design (FMCAD) | |
| Oct 23, 2023 - Oct 27, 2023 |
Ames, Iowa, USA |
May 22, 2023 (May 15, 2023) |
| MK 2023 |
2nd Workshop on Modular Knowledge | |
| Jul 19, 2023 - Jul 20, 2023 |
Sherbrooke (Qc, Canada) |
May 22, 2023 |
| CONCUR 2023 |
International Conference on Concurrency Theory | |
| Sep 18, 2023 - Sep 23, 2023 |
Antwerp |
May 2, 2023 (Apr 24, 2023) |
| Highlights 2023 |
Highlights of Logic, Games and Automata | |
| Jul 24, 2023 - Jul 28, 2023 |
Kassel, Germany |
Apr 25, 2023 |
| DEON 2023 |
16th INTERNATIONAL CONFERENCE ON DEONTIC LOGIC AND NORMATIVE SYSTEMS | |
| Jul 5, 2023 - Jul 7, 2023 |
Trois-Rivières, Canada |
Mar 31, 2023 (Mar 1, 2023) |
| Logica 2023 |
Logica 2023 | |
| Jun 18, 2023 - Jun 22, 2023 |
Tepla Monastery, Czech Republic |
Mar 27, 2023 |
| SAT 2023 |
The 26th International Conference on Theory and Applications of Satisfiability Testing | |
| Jul 4, 2023 - Jul 8, 2023 |
Alghero, Italy |
Mar 17, 2023 (Mar 10, 2023) |
|
