Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
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 Sep 25, 2017
WoLGA 2018 Workshop on Logical Geometry and its Applications
Jun 25, 2018 - Jun 25, 2018 Vichy, France Oct 5, 2017
FoIKS 2018 10th International Symposium on Foundations of Information and Knowledge Systems
May 14, 2018 - May 18, 2018 Budapest, Hungary Dec 1, 2017 (Nov 24, 2017)
IJCAR 2018 9th International Joint Conference on Automated Reasoning
Jul 14, 2018 - Jul 17, 2018 Oxford, United Kingdom Jan 29, 2018 (Jan 22, 2018)
LICS 2018 Logic in Computer Science
Jul 9, 2018 - Jul 12, 2018 Oxford Jan 31, 2018 (Jan 24, 2018)
Expired CFPs
WoLC 2018 Workshop on Logical Correctness, 6th World Congress and School on Universal Logic
Jun 21, 2018 - Jun 26, 2018 Vichy, France Sep 15, 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
SR 2017 Fifth International Workshop on Strategic Reasoning
Jul 26, 2017 - Jul 27, 2017 University of Liverpool, UK May 15, 2017 (May 8, 2017)
FCT 2017 Fundamentals of Computation Theory
Sep 11, 2017 - Sep 13, 2017 Bordeaux, France May 6, 2017 (May 1, 2017)
CfP - CONCUR 2017 Call for Papers - 28th International Conference on Concurrency Theory
Sep 5, 2017 - Sep 8, 2017 Berlin Apr 21, 2017
LORI 2017 6th International Conference on Logic, Rationality, and Interaction
Sep 11, 2017 - Sep 14, 2017 Hokkaido University, Sapporo, Japan Apr 14, 2017
PLS 2017 11th Panhellenic Logic Symposium
Jul 12, 2017 - Jul 16, 2017 Delphi Apr 12, 2017
TARK 2017 16th Conference on Theoretical Aspects of Rationality and Knowledge
Jun 24, 2017 - Jun 26, 2017 University of Liverpool, UK Apr 3, 2017
first | previous | Page 1 | next | last Total of 207 CFPs in 11 pages