Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
LearnAut 2018 Learning and Automata (LearnAut) -- FLoC 2018 Workshop
Jul 13, 2018 - Jul 13, 2018 University of Oxford, United Kingdom Mar 24, 2018
FMCAD 2018(new) International Conference on Formal Methods in Computer-Aided Design
Oct 30, 2018 - Nov 2, 2018 Austin, Texas, USA May 18, 2018 (May 11, 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)
DL 2018(new) 31st International Workshop on Description Logics
Oct 26, 2018 - Oct 29, 2018 Tempe, Arizona, US Jul 6, 2018 (Jun 29, 2018)
LOGLEG 2018 Logic, Law and Legal Reasoning
Jun 21, 2018 - Jun 26, 2018 Vichy, France Oct 5, 2018 (Nov 1, 2017)
Expired CFPs
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)
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
LOGIC FOR CHILDREN 2018 LOGIC FOR CHILDREN (that will happen in the UniLog 2018)
Jun 21, 2018 - Jun 26, 2018 Vichy Oct 5, 2017
WoLGA 2018 Workshop on Logical Geometry and its Applications
Jun 25, 2018 - Jun 25, 2018 Vichy, France 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
first | previous | Page 1 | next | last Total of 220 CFPs in 11 pages