Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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
CONCUR 2016 The 27th International Conference on Concurrency Theory
Aug 23, 2016 - Aug 26, 2016 Québec City, Canada Apr 18, 2016 (Apr 11, 2016)
CSL 2016 25th EACSL Annual Conference on Computer Science Logic
Aug 29, 2016 - Sep 1, 2016 Marseille, France Apr 15, 2016 (Apr 8, 2016)
GeTFun 4.0 2016 Compositional Meaning in Logic (satellite workshop of IJCAR 2016)
Jul 1, 2016 - Jul 2, 2016 Coimbra Apr 15, 2016
AiML 2016 11th International Conference on Advances in Modal Logic
Aug 29, 2016 - Sep 2, 2016 Budapest, Hungary Mar 17, 2016 (Mar 10, 2016)
LSFA 2016 11th Workshop on Logical and Semantic Frameworks, with Applications
Jun 25, 2016 - Jun 26, 2016 Porto, Portugal Feb 29, 2016
Logica 2016 Logica 2016
Jun 20, 2016 - Jun 24, 2016 Hejnice, Czech Republic Feb 15, 2016
FOIS 2016 Formal Ontology in Information Systems
Jul 6, 2016 - Jul 9, 2016 Annecy (FRANCE) Jan 31, 2016
LICS 2016 Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 5, 2016 - Jul 8, 2016 New York City, USA Jan 18, 2016 (Jan 11, 2016)
PADL 2016 Practical Aspects of Declarative Languages
Jan 18, 2016 - Jan 19, 2016 St. Petersburg Florida, United States Sep 27, 2015 (Sep 18, 2015)
STACS 2016 Symposium on Theoretical Aspects of Computer Science
Feb 17, 2016 - Feb 20, 2016 Orléans, France Sep 18, 2015
Computación y Sistemas: Thematic Issue 2015 Computación y Sistemas: Thematic Issue on Developments on Logic-based Methods for Intelligent Systems
N/A N/A Jul 31, 2015
FSTTCS 2015 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 16, 2015 - Dec 18, 2015 Bangalore, India Jul 13, 2015
first | previous | Page 3 | next | last Total of 217 CFPs in 11 pages