| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| CONCUR 2015 |
26th International Conference on Concurrency Theory | |
| Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
| NAT@Logic 2015 |
NAT@Logic 2015 - Logic AT Natal | |
| Aug 31, 2015 - Sep 4, 2015 |
Natal, Brazil |
Apr 12, 2015 |
|
