Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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
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
LANMR 2016 LANMR 2016 : Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2016
Aug 15, 2016 - Aug 15, 2016 Puebla May 6, 2016
ARQNL 2016 Automated Reasoning in Quantified Non-Classical Logics
Jul 1, 2016 - Jul 1, 2016 Coimbra, Portugal May 2, 2016 (Apr 25, 2016)
ARQNL 2016 Automated Reasoning in Quantified Non-Classical Logics
Jul 1, 2016 - Jul 1, 2016 Coimbra, Portugal May 2, 2016 (Apr 25, 2016)
SYSMICS 2016 SYNTAX MEETS SEMANTICS (SYSMICS 2016)
Sep 5, 2016 - Sep 9, 2016 Barcelona Apr 30, 2016
SR 2016 4th International Workshop on Strategic Reasoning
Jul 9, 2016 - Jul 10, 2016 New York Apr 18, 2016
first | previous | Page 8 | next | last Total of 342 CFPs in 18 pages