| Event | When | Where | Deadline | | | Expired CFPs |
| 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) |
| DLT 2015 |
The 19th International Conference on Developments in Language Theory | |
| Jul 27, 2015 - Jul 30, 2015 |
Liverpool, UK |
Mar 23, 2015 |
| CADE 2015 |
25th International Conference on Automated Deduction | |
| Aug 3, 2015 - Aug 7, 2015 |
Berlin, Germany |
Feb 23, 2015 (Feb 16, 2015) |
| AutoMathA 2015 |
Jewels of Automata: from Mathematics to Applications | |
| May 6, 2015 - May 9, 2015 |
Leipzig, Germany |
Jan 31, 2015 |
| EGC 2015 |
Embracing Global Computing in Emerging Economies | |
| Feb 26, 2015 - Feb 28, 2015 |
Almaty, Kazakhstan |
Jan 18, 2015 |
| LATA 2015 |
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 2, 2015 - Mar 6, 2015 |
Nice, France |
Oct 10, 2014 |
| BIPC 2014 |
Special Track on Biologically-Inspired Process Calculi | |
| Dec 1, 2014 - Dec 3, 2014 |
Boston, MA, USA |
Sep 1, 2014 |
| FOGA 2015 |
ACM/SIGEVO Foundations of Genetic Algorithms XIII | |
| Jan 17, 2015 - Jan 20, 2015 |
Aberystwyth, UK |
Aug 31, 2014 |
| SBMF 2014 |
Brazilian Symposium on Formal Methods | |
| Sep 29, 2014 - Oct 1, 2014 |
Maceio', AL, Brazil |
Jul 22, 2014 (Jul 15, 2014) |
| MeCBIC 2014 |
7th Workshop on Membrane Computing and Biologically Inspired Process Calculi | |
| Sep 16, 2014 - Sep 16, 2014 |
Bucharest, Romania |
Jun 29, 2014 (Jun 22, 2014) |
| RP 2014 |
The 8th International Workshop on Reachability Problems | |
| Sep 22, 2014 - Sep 24, 2014 |
Oxford, UK |
Jun 11, 2014 |
| NCMA 2014 |
6-th International Workshop on Non-Classical Models of Automata and Applications | |
| Jul 28, 2014 - Jul 29, 2014 |
Kassel, Germany |
May 4, 2014 |
| LINEARITY 2014 |
Third International Workshop on Linearity | |
| Jul 13, 2014 - Jul 13, 2014 |
Vienna, Austria |
Apr 13, 2014 |
| DCFS 2014 |
16th International Workshop on Descriptional Complexity of Formal Systems | |
| Aug 5, 2014 - Aug 8, 2014 |
Turku, Finland |
Apr 11, 2014 |
| DLT 2014 |
18th International Conference on Developments in Language Theory | |
| Aug 26, 2014 - Aug 29, 2014 |
Ekaterinburg, Russia |
Mar 17, 2014 |
|
