| Event | When | Where | Deadline | |
| CONCUR 2015 |
26th International Conference on Concurrency Theory | |
| Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
| MFCS 2015 |
40th International Symposium on Mathematical Foundations of Computer Science | |
| Aug 24, 2015 - Aug 28, 2015 |
Milano, Italy |
Apr 22, 2015 |
| FCT 2015 |
20th International Symposium on Fundamentals of Computation Theory | |
| Aug 17, 2015 - Aug 19, 2015 |
Gdańsk, Poland |
Apr 25, 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) |
| ICTAC 2015 |
12th International Colloquium on Theoretical Aspects of Computing | |
| Oct 29, 2015 - Oct 31, 2015 |
Cali, Colombia |
Jun 5, 2015 (Jun 1, 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 |
| TACAS 2016 |
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| FORTE 2016 |
36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems | |
| Jun 6, 2016 - Jun 9, 2016 |
Heraklion, Crete, Greece |
Feb 22, 2016 (Feb 15, 2016) |
| SEFM 2016 |
14th International Conference on Software Engineering and Formal Methods | |
| Jul 4, 2016 - Jul 8, 2016 |
Vienna, Austria |
Feb 29, 2016 (Feb 22, 2016) |
| LSFA 2016 |
11th Workshop on Logical and Semantic Frameworks, with Applications | |
| Jun 25, 2016 - Jun 26, 2016 |
Porto, Portugal |
Feb 29, 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) |
| CSL 2016 |
25th EACSL Annual Conference on Computer Science Logic | |
| Aug 29, 2016 - Sep 1, 2016 |
Marseille, France |
Apr 15, 2016 (Apr 8, 2016) |
| MFCS 2016 |
International Symposium on Mathematical Foundations of Computer Science | |
| Aug 22, 2016 - Aug 26, 2016 |
Krakow (Poland) |
Apr 25, 2016 (Apr 21, 2016) |
| GandALF 2016 |
The Seventh International Symposium on Games, Automata, Logics and Formal Verification | |
| Sep 14, 2016 - Sep 16, 2016 |
Catania, Italy |
May 27, 2016 (May 20, 2016) |
| FM 2016 |
21st International Symposium on Formal Methods | |
| Nov 7, 2016 - Nov 11, 2016 |
Limassol, Cyprus |
May 30, 2016 (May 16, 2016) |
| TIME 2016 |
23rd International Symposium on Temporal Representation and Reasoning | |
| Oct 17, 2016 - Oct 19, 2016 |
Copenhagen, Denmark |
Jun 20, 2016 |
| 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 |
| ETAPS 2018 |
ETAPS 2018: European Joint Conferences on Theory and Practice of Software | |
| Apr 14, 2018 - Apr 21, 2018 |
Thessaloniki, Greece |
Oct 20, 2017 (Oct 13, 2017) |
| LICS 2018 |
Logic in Computer Science | |
| Jul 9, 2018 - Jul 12, 2018 |
Oxford |
Jan 31, 2018 (Jan 24, 2018) |
