| Event | When | Where | Deadline | | | Expired CFPs |
| CIAA 2016 |
21st International Conference on Implementation and Application of Automata | |
| Jul 19, 2016 - Jul 22, 2016 |
SEOUL, SOUTH KOREA |
Mar 15, 2016 |
| DCFS 2016 |
Descriptional Complexity of Formal Systems Working Conference | |
| Jul 5, 2016 - Jul 8, 2016 |
Bucharest, Romania |
Mar 1, 2016 |
| ICGT 2016 |
9th International Conference on Graph Transformation | |
| Jul 5, 2016 - Jul 6, 2016 |
Vienna |
Feb 29, 2016 (Feb 15, 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) |
| Petri Nets 2016 |
ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency | |
| Jun 19, 2016 - Jun 24, 2016 |
TorunĚ, Poland |
Jan 15, 2016 |
| BIOMICS 2016 |
3rd International BIOMICS Workshop | |
| Feb 8, 2016 - Feb 10, 2016 |
Passau, Germany |
Jan 11, 2016 |
| CiE 2016 |
Computability in Europe | |
| Jun 27, 2016 - Jul 1, 2016 |
Paris, France |
Dec 15, 2015 |
| Lata 2016 |
10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 14, 2016 - Mar 18, 2016 |
Prague, Czech Republic |
Oct 19, 2015 |
| FoSSaCS 2016 |
19th International Conference on Foundations of Software Science and Computation Structures | |
| Apr 2, 2016 - Apr 8, 2016 |
Eindhoven, The Netherlands |
Oct 16, 2015 (Oct 9, 2015) |
| CONCUR-YR 2015 |
Young Researchers Workshop on Concurrency Theory | |
| Sep 5, 2015 - Sep 5, 2015 |
Madrid |
Jul 13, 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 |
| SBMF 2015 |
The 18th Brazilian Symposium on Formal Methods | |
| Sep 21, 2015 - Sep 26, 2015 |
Belo Horizonte, MG, Brazil |
Jul 3, 2015 (Jun 27, 2015) |
| NCMA 2015 |
7th International Workshop on Non-Classical Models of Automata and Applications | |
| Aug 31, 2015 - Sep 1, 2015 |
Porto, Portugal |
Jun 22, 2015 |
| ICTAC 2015 |
12th International Colloquium on Theoretical Aspects of Computing | |
| Oct 29, 2015 - Oct 31, 2015 |
Cali, Colombia |
Jun 19, 2015 (Jun 16, 2015) |
| RP 2015 |
9th International Workshop on Reachability Problems | |
| Sep 21, 2015 - Sep 23, 2015 |
Warsaw, Poland |
Jun 11, 2015 |
| ICTCS 2015 |
Sixteenth Italian Conference on Theoretical Computer Science | |
| Sep 9, 2015 - Sep 11, 2015 |
Firenze |
Jun 1, 2015 (May 25, 2015) |
| TTCS 2015 |
Topics in Theoretical Computer Science | |
| Aug 26, 2015 - Aug 28, 2015 |
Tehran |
May 15, 2015 |
| CAI 2015 |
6th International Conference on Algebraic Informatics | |
| Sep 1, 2015 - Sep 4, 2015 |
Stuttgart, Germany |
Apr 27, 2015 |
| CONCUR 2015 |
26th International Conference on Concurrency Theory | |
| Sep 1, 2015 - Sep 4, 2015 |
Madrid, Spain |
Apr 20, 2015 (Apr 13, 2015) |
| CALCO 2015 |
6th International Conference on Algebra and Coalgebra in Computer Science | |
| Jun 24, 2015 - Jun 26, 2015 |
Nijmegen, Netherlands |
Apr 2, 2015 (Mar 22, 2015) |
|