| Event | When | Where | Deadline | |
| Expired CFPs |
| WCP 2022 |
The Sixth World Congress of Paraconsistency in Toruń (WCP6) - the Second Stanisław Jaśkowski Memorial Symposium | |
| Sep 5, 2022 - Sep 8, 2022 |
Poland, Toruń |
Apr 30, 2022 |
| PAAR 2022 |
8th Workshop on Practical Aspects of Automated Reasoning | |
| Aug 11, 2022 - Aug 12, 2022 |
Haifa, Israel, |
Apr 26, 2022 (Apr 19, 2022) |
| CONCUR 2022 |
International Conference on Concurrency Theory | |
| Sep 12, 2022 - Sep 17, 2022 |
Warsaw, Poland |
Apr 25, 2022 (Apr 18, 2022) |
| IWLS 2022 |
International Workshop on Logic & Synthesis | |
| Jul 18, 2022 - Jul 21, 2022 |
Virtual |
Apr 18, 2022 (Apr 11, 2022) |
| ICE 2022 |
15th Interaction and Concurrency Experience | |
| Jun 13, 2022 - Jun 17, 2022 |
Lucca, Italy |
Apr 29, 2022 (Apr 25, 2022) |
| KR4HI 2022 |
The 1st International Workshop on Knowledge Representation for Hybrid Intelligence | |
| Jun 14, 2022 - Jun 14, 2022 |
Amsterdam, Netherlands |
Apr 1, 2022 |
| LANMR 2022 |
Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning | |
| Jun 16, 2022 - Jun 17, 2022 |
Mexico City |
Apr 1, 2022 (Mar 25, 2022) |
| Highlights 2022 |
Highlights of Logic, Games and Automata | |
| Jun 28, 2022 - Jul 1, 2022 |
Paris, France |
Mar 18, 2022 |
| MK 2022 |
1st Workshop on Modular Knowledge | |
| May 29, 2022 - May 29, 2022 |
Hersonissos (Greece) |
Mar 12, 2022 (Mar 8, 2022) |
| SAT 2022 |
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) | |
| Aug 2, 2022 - Aug 5, 2022 |
Haifa, Israel |
Feb 28, 2022 (Feb 21, 2022) |
| TiL 2022 |
Trends in Logic XXII | |
| Jul 18, 2022 - Jul 20, 2022 |
Cagliari, Italy |
Feb 4, 2022 |
| RT-UNILOG 2022 |
Reasoning in Text | |
| Apr 6, 2022 - Apr 11, 2022 |
OrthodoX Academy of Crete, Kolimvari |
Jan 21, 2022 |
| UNILOG 2022 |
7th World Congress and School on Universal Logic | |
| Apr 1, 2022 - Apr 11, 2022 |
Orthodox Academy of Crete |
Nov 11, 2021 |
| KRR@SAC 2022 |
Knowledge Representation and Reasoning (track of the 37th ACM/SIGAPP Symposium On Applied Computing | |
| Apr 25, 2022 - Apr 29, 2022 |
Brno, Czech Republic |
Oct 15, 2021 |
| Logic and Love 2022 |
Logic and Love, Workshop at UNILOG'2022 | |
| Apr 6, 2022 - Apr 11, 2022 |
Orthodox Academy of Crete |
Oct 15, 2021 |
| Refutation 2022 |
100 Years of Refutation | |
| Apr 1, 2022 - Apr 11, 2022 |
Orthodox Academy of Crete |
Sep 21, 2021 |
| LARAW 2021 |
Logic and Religion Webinar | |
| Jul 22, 2021 - Jul 22, 2022 |
On-Line |
Sep 1, 2021 |
| RP 2021 |
15th International Conference on Reachability Problems (RP'21) | |
| Oct 25, 2021 - Oct 27, 2021 |
Liverpool |
Jul 15, 2021 |
| ASPOCP 2021 |
Answer Set Programming and Other Computing Paradigms | |
| Sep 20, 2021 - Sep 27, 2020 |
Virtual |
Jul 8, 2021 (Jul 1, 2021) |
| LACL 2021 |
Logical Aspects of Computational Linguistics | |
| Dec 13, 2021 - Dec 17, 2021 |
Online |
Jun 27, 2021 |
