Logic

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
ORAJ 2016 Operations Research and Applications: An International Journal
N/A N/A Jul 23, 2016
KRR@SAC 2017(new) Knowledge Representation and Recognition (track of the 32st ACM/SIGAPP Symposium On Applied Computing)
Apr 3, 2017 - Apr 7, 2017 Marrakech, Morocco Sep 15, 2016
STACS 2017 34th International Symposium on Theoretical Aspects of Computer Science
Mar 8, 2017 - Mar 11, 2017 Hannover, Germany Sep 25, 2016
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
AI & FL 2016 Fourth International Conference of Artificial Intelligence and Fuzzy Logic
Apr 23, 2016 - Apr 24, 2016 Dubai , UAE Apr 8, 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)
first | previous | Page 1 | next | last Total of 178 CFPs in 9 pages