| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| CONCUR-YR 2015 |
Young Researchers Workshop on Concurrency Theory | |
| Sep 5, 2015 - Sep 5, 2015 |
Madrid |
Jul 13, 2015 |
|
