| Event | When | Where | Deadline | |
| Expired CFPs |
| 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 |
| ESSLLI 2022 |
33rd European Summer School in Logic, Language and Information | |
| Aug 8, 2022 - Aug 19, 2022 |
Galway, Ireland |
Jun 22, 2021 (Jun 15, 2021) |
| ECSQARU 2021 |
The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty | |
| Sep 21, 2021 - Sep 24, 2021 |
Prague (Czechia) |
May 19, 2021 (May 15, 2021) |
| ICTAC 2021 |
18th International Colloquium on Theoretical Aspects of Computing | |
| Sep 6, 2021 - Sep 10, 2021 |
Nur-Sultan |
May 14, 2021 |
| ICE 2021 |
14th Interaction and Concurrency Experience | |
| Jun 18, 2021 - Jun 18, 2021 |
University of Malta and/or online |
May 5, 2021 (May 1, 2021) |
| SMT 2021 |
SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories | |
| Jul 18, 2021 - Jul 19, 2021 |
Los Angeles, CA, USA |
Apr 30, 2021 |
