| Event | When | Where | Deadline | | | Expired CFPs |
| 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) |
| IMAGINATION 2018 |
37th ASPLF French Speaking Philosophy World Congress | |
| Mar 26, 2018 - Mar 31, 2018 |
Rio de Janeiro, Brazil |
Dec 1, 2017 (Dec 31, 2017) |
| SAL-Unilog 2018 |
Sociology and Anthropology of Logic: Past and Present. Unilog 2018 | |
| Jun 21, 2018 - Jun 22, 2018 |
Vichy, France |
Oct 5, 2017 |
| WoLGA 2018 |
Workshop on Logical Geometry and its Applications | |
| Jun 25, 2018 - Jun 25, 2018 |
Vichy, France |
Oct 5, 2017 |
| LOGIC FOR CHILDREN 2018 |
LOGIC FOR CHILDREN (that will happen in the UniLog 2018) | |
| Jun 21, 2018 - Jun 26, 2018 |
Vichy |
Oct 5, 2017 |
| Around Peirce 2018 |
Workshop AROUND PEIRCE at UNILOG'2018 | |
| Jun 21, 2018 - Jun 26, 2018 |
Vichy, France |
Oct 5, 2017 |
| WoLC 2018 |
Workshop on Logical Correctness, 6th World Congress and School on Universal Logic | |
| Jun 21, 2018 - Jun 26, 2018 |
Vichy, France |
Oct 5, 2017 |
| KRR@SAC 2018 |
KRR@SAC 2018 : Knowledge Representation and Reasoning (track of the 33rd ACM/SIGAPP Symposium On Applied Computing) | |
| Apr 9, 2018 - Apr 13, 2018 |
Pau, France |
Oct 1, 2017 |
| LOGIC&MUSIC 2018 |
LOGIC AND MUSIC - UNILOG'2018 | |
| Jun 24, 2018 - Jun 25, 2018 |
Vichy/France |
Sep 15, 2017 |
| LaSh 2017 |
LaSh 2017 Workshop on Logic and Search | |
| Aug 28, 2017 - Aug 28, 2017 |
Melbourne, Australia |
Aug 6, 2017 |
| WOMoCoE 2017 |
2nd International Workshop on Ontology Modularity, Contextuality, and Evolution | |
| Oct 22, 2017 - Oct 22, 2017 |
Vienna, Austria |
Jul 28, 2017 (Jul 25, 2017) |
| CICLOPS 2017 |
15th International Colloquium on Implementation of Constraint and LOgic Programming Systems | |
| Aug 28, 2017 - Aug 28, 2017 |
Melbourne, Australia |
Jun 28, 2017 |
| ESSLLI 2018 |
Call for Course and Workshop Proposals: ESSLLI 2018, Sofia | |
| Aug 6, 2018 - Aug 17, 2018 |
Sofia, Bulgaria |
Jun 25, 2017 |
| EXPRESS/SOS 2017 |
Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics | |
| Sep 4, 2017 - Sep 4, 2017 |
Berlin |
Jun 23, 2017 |
| LSFA 2017 |
12th Workshop on Logical and Semantic Frameworks, with Applications | |
| Sep 23, 2017 - Sep 24, 2017 |
BrasÃlia, Brazil |
Jun 21, 2017 |
| RP 2017 |
Reachability Problems | |
| Sep 7, 2017 - Sep 9, 2017 |
Royal Holloway, University of London |
Jun 19, 2017 |
|
