| Event | When | Where | Deadline | | | Expired CFPs |
| LOGLEG 2018 |
Logic, Law and Legal Reasoning | |
| Jun 21, 2018 - Jun 26, 2018 |
Vichy, France |
Oct 5, 2018 (Nov 1, 2017) |
| KRR@SAC 2019 |
KRR@SAC 2019 : Knowledge Representation and Reasoning (track of the 34th ACM/SIGAPP Symposium On Applied Computing) | |
| Apr 8, 2019 - Apr 12, 2019 |
Limassol (Cyprus) |
Sep 24, 2018 |
| SQUARE 2018 |
6th World Congress on the Square of Opposition | |
| Nov 1, 2018 - Nov 5, 2018 |
Crete |
Sep 24, 2018 (Sep 30, 2018) |
| LANMR 2018 |
Eleventh Latin American Workshop on New Methods of Reasoning 2018 | |
| Nov 15, 2018 - Nov 16, 2018 |
Puebla, Mexico |
Sep 11, 2018 |
| WOMoCoE 2018 |
3rd International Workshop on Ontology Modularity, Contextuality, and Evolution | |
| Oct 29, 2018 - Oct 29, 2018 |
Tempe, Arizona |
Aug 4, 2018 |
| DL 2018 |
31st International Workshop on Description Logics | |
| Oct 26, 2018 - Oct 29, 2018 |
Tempe, Arizona, US |
Jul 28, 2018 (Jul 21, 2018) |
| GandALF 2018 |
International Symposium on Games, Automata, Logics, and Formal Verification | |
| Sep 26, 2018 - Sep 28, 2018 |
Saarbrücken, Germany |
Jun 15, 2018 (Jun 13, 2018) |
| RP 2018 |
Reachability Problems | |
| Sep 24, 2018 - Sep 26, 2018 |
Marseille, France |
Jun 15, 2018 |
| TIME 2018 |
TIME 2018 first call for papers | |
| Oct 15, 2018 - Oct 17, 2018 |
Warsaw |
May 21, 2018 (May 14, 2018) |
| FMCAD 2018 |
International Conference on Formal Methods in Computer-Aided Design | |
| Oct 30, 2018 - Nov 2, 2018 |
Austin, Texas, USA |
May 18, 2018 (May 11, 2018) |
| MFCS 2018 |
Mathematical Foundations of Computer Science | |
| Aug 27, 2018 - Aug 31, 2018 |
Liverpool, UK |
Apr 24, 2018 (Apr 20, 2018) |
| LaSh 2018 |
LaSh 2018 Workshop on Logic and Search | |
| Jul 18, 2018 - Jul 19, 2018 |
Oxford, UK |
Apr 23, 2018 |
| LearnAut 2018 |
[deadline extension] Learning and Automata (LearnAut) -- FLoC 2018 Workshop | |
| Jul 13, 2018 - Jul 13, 2018 |
University of Oxford, United Kingdom |
Mar 31, 2018 |
| SetVR 2018 |
International Workshop on Set Visualization and Reasoning | |
| Jun 18, 2018 - Jun 18, 2018 |
Edinburgh |
Feb 19, 2018 |
| Logica 2018 |
Logica 2018 | |
| Jun 18, 2018 - Jun 22, 2018 |
Hejnice, Czech Republic |
Feb 15, 2018 |
| LICS 2018 |
Logic in Computer Science | |
| Jul 9, 2018 - Jul 12, 2018 |
Oxford |
Jan 31, 2018 (Jan 24, 2018) |
| IJCAR 2018 |
9th International Joint Conference on Automated Reasoning | |
| Jul 14, 2018 - Jul 17, 2018 |
Oxford, United Kingdom |
Jan 29, 2018 (Jan 22, 2018) |
| FoIKS 2018 |
10th International Symposium on Foundations of Information and Knowledge Systems | |
| May 14, 2018 - May 18, 2018 |
Budapest, Hungary |
Dec 18, 2017 (Dec 11, 2017) |
| NALOG 2018 |
Naming Logics II | |
| Jun 21, 2018 - Jun 26, 2018 |
Vichy, France |
Dec 1, 2017 (Dec 31, 2017) |
| UNILOG 2018 |
6th World Congress and School on Universal Logic | |
| Jun 16, 2018 - Jun 26, 2018 |
Vichy, France |
Dec 1, 2017 (Dec 31, 2017) |
|
