Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
ESSLLI 2018 Call for Course and Workshop Proposals: ESSLLI 2018, Sofia
Aug 6, 2018 - Aug 17, 2018 Sofia, Bulgaria Jun 15, 2017
RP 2017 Reachability Problems
Sep 7, 2017 - Sep 9, 2017 Royal Holloway, University of London Jun 19, 2017
LSFA 2017 12th Workshop on Logical and Semantic Frameworks, with Applications
Sep 23, 2017 - Sep 24, 2017 Brasília, Brazil Jun 21, 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
Expired CFPs
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
LearnAut 2017 Learning and Automata - LICS 2017 Workshop
Jun 19, 2017 - Jun 19, 2017 Reykjavik (Iceland) Apr 1, 2017
SLALM 2017 17th Latin American Symposium on Mathematical Logic
Jun 26, 2017 - Jun 30, 2017 Puebla, Puebla. México Mar 17, 2017
TACL 2017 TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
Jun 26, 2017 - Jun 30, 2017 Prague Mar 10, 2017
ICALP 2017 44th International Colloquium on Automata, Languages, and Programming
Jul 10, 2017 - Jul 14, 2017 Warsaw, Poland Feb 17, 2017
LPNMR 2017 14th International Conference on Logic Programming and Non-monotonic Reasoning
Jul 3, 2017 - Jul 6, 2017 Hanasaari, Espoo, Finland Feb 9, 2017 (Feb 5, 2017)
CfW-CONCUR 2017 Call for Workshops in The 28th International Conference on Concurrency Theory
Sep 4, 2017 - Sep 9, 2017 Berlin Jan 27, 2017
LICS 2017 Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
Jun 20, 2017 - Jun 23, 2017 Reykjavik, Iceland Jan 9, 2017 (Jan 3, 2017)
KRR@SAC 2017 Knowledge Representation and Reasoning (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
Apr 3, 2017 - Apr 7, 2017 Marrakech, Morocco Oct 7, 2016
STACS 2017 34th International Symposium on Theoretical Aspects of Computer Science
Mar 8, 2017 - Mar 11, 2017 Hannover, Germany Sep 25, 2016
LaSh 2016 Fifth Workshop on Logic and Search
Oct 17, 2016 - Oct 17, 2016 New York City Sep 12, 2016
first | previous | Page 1 | next | last Total of 196 CFPs in 10 pages