Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
LearnAut 2017 Learning and Automata - LICS 2017 Workshop
Jun 19, 2017 - Jun 19, 2017 Reykjavik (Iceland) Apr 1, 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
PLS 2017 11th Panhellenic Logic Symposium
Jul 12, 2017 - Jul 16, 2017 Delphi Apr 12, 2017
CfP - CONCUR 2017 Call for Papers - 28th International Conference on Concurrency Theory
Sep 5, 2017 - Sep 8, 2017 Berlin Apr 21, 2017
FCT 2017 Fundamentals of Computation Theory
Sep 11, 2017 - Sep 13, 2017 Bordeaux, France May 6, 2017 (May 1, 2017)
RP 2017 Reachability Problems
Sep 7, 2017 - Sep 9, 2017 Royal Holloway, University of London May 10, 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(new) 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
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
FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 13, 2016 - Dec 15, 2016 Chennai, India Jul 15, 2016
EXPRESS/SOS 2016 Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)
Aug 22, 2016 - Aug 22, 2016 Québec Jun 13, 2016
RP 2016 Reachability Problems
Sep 19, 2016 - Sep 21, 2016 Aalborg, Denmark Jun 10, 2016
first | previous | Page 1 | next | last Total of 193 CFPs in 10 pages