| Event | When | Where | Deadline | |
| ReacTS 2026 |
3rd International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications | |
| Nov 24, 2026 - Nov 24, 2026 |
Malta |
Sep 13, 2026 (Sep 8, 2026) |
DEON 2027 |
18th International Conference on Deontic Logic and Normative Systems, 29 June–1 July 2027, Hangzhou, China (First announcement) | |
| Jun 29, 2027 - Jul 1, 2027 |
Hangzhou, China |
Mar 12, 2027 |
| Expired CFPs |
| RP 2026 |
20th International Conference on Reachability Problems | |
| Oct 21, 2026 - Oct 23, 2026 |
Turku, Finland |
Jun 30, 2026 |
| ASPOCP 2026 |
19th Workshop on Answer Set Programming and Other Computing Paradigms | |
| Jul 18, 2026 - Jul 18, 2026 |
Lisbon |
May 1, 2026 (Apr 24, 2026) |
| NALOMA 2026 |
6th workshop of Natural Language Meets Logic and Machine Learning | |
| Aug 3, 2026 - Aug 7, 2026 |
Prague, Czech Republic |
Apr 30, 2026 |
| LICS 2026 |
Logic in Computer Science | |
| Jul 20, 2026 - Jul 23, 2026 |
Lisbon, Portugal |
Jan 22, 2026 (Jan 15, 2026) |
| HCVS 2025 |
12th Workshop on Horn Clauses for Verification and Synthesis | |
| Jul 22, 2025 - Jul 22, 2025 |
Zagreb |
May 16, 2025 |
| JELIA 2025 |
19th European Conference on Logics in Artificial Intelligence | |
| Sep 1, 2025 - Sep 5, 2025 |
Kutaisi, Georgia |
May 9, 2025 (May 2, 2025) |
| MFCS 2025 |
Mathematical Foundations of Computer Science | |
| Aug 25, 2025 - Aug 29, 2025 |
Warsaw, Poland |
Apr 18, 2025 |
| DLT 2025 |
The 29th International Conference on Developments in Language Theory | |
| Aug 19, 2025 - Aug 22, 2025 |
Seoul, South Korea |
Mar 31, 2025 |
| CSL 2025 |
Computer Science Logic | |
| Feb 10, 2025 - Feb 14, 2025 |
Amsterdam |
Jul 23, 2024 (Jul 18, 2024) |
| RP 2024 |
The 18th International Conference on Reachability Problems (RP 2024) | |
| Sep 25, 2024 - Sep 27, 2024 |
Vienna, Austria |
Jun 26, 2024 |
| 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 |
| 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 |
|
