Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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
CONCUR-YR 2015 Young Researchers Workshop on Concurrency Theory
Sep 5, 2015 - Sep 5, 2015 Madrid Jul 13, 2015
SR 2015 Third International Workshop on Strategic Reasoning
Sep 21, 2015 - Sep 22, 2015 Oxford, England Jul 3, 2015 (Jul 1, 2015)
RP 2015 9th International Workshop on Reachability Problems
Sep 21, 2015 - Sep 23, 2015 Warsaw, Poland Jun 11, 2015
GandALF 2015 The Sixth International Symposium on Games, Automata, Logics and Formal Verification
Sep 21, 2015 - Sep 23, 2015 Genova May 29, 2015 (May 22, 2015)
VERY* 2015 The 2nd Workshop on formal verification for self-* systems
Sep 7, 2015 - Sep 8, 2015 York - United Kingdom May 18, 2015 (May 4, 2015)
TTCS 2015 Topics in Theoretical Computer Science
Aug 26, 2015 - Aug 28, 2015 Tehran May 15, 2015
FCT 2015 20th International Symposium on Fundamentals of Computation Theory
Aug 17, 2015 - Aug 19, 2015 Gdańsk, Poland Apr 25, 2015
LQMR 2015 1st Workshop on Logics for Qualitative Modelling and Reasoning
Sep 13, 2015 - Sep 16, 2015 Łódź, Poland Apr 24, 2015
first | previous | Page 9 | next | last Total of 342 CFPs in 18 pages