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 |
|