| Event | When | Where | Deadline | | | Expired CFPs |
| LATA 2011 |
5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| May 30, 2011 - Jun 3, 2011 |
Tarragona, Spain |
Jan 3, 2011 |
| CSR 2011 |
The 6th International Computer Science Symposium in Russia | |
| Jun 14, 2011 - Jun 18, 2011 |
St. Petersburg |
Dec 6, 2010 |
| MEMICS 2010 |
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science | |
| Oct 22, 2010 - Oct 24, 2010 |
Mikulov, Czech Republic |
Sep 8, 2010 (Sep 1, 2010) |
| CATS 2011 |
Computing: The Australasian Theory Symposium | |
| Jan 17, 2011 - Jan 20, 2011 |
Perth, Australia |
Aug 16, 2010 |
| TMFCS 2010 |
2010 International Conference on Theoretical and Mathematical Foundations of Computer Science | |
| Jul 12, 2010 - Jul 14, 2010 |
Orlando, USA |
May 31, 2010 |
| NCMA 2010 |
Non-Classical Models of Automata and Applications | |
| Aug 23, 2010 - Aug 24, 2010 |
Jena, Germany |
May 28, 2010 |
| ESA 2010 |
18th Annual European Symposium on Algorithms | |
| Sep 6, 2010 - Sep 8, 2010 |
Liverpool, UK |
Apr 12, 2010 |
| CIAA 2010 |
The 15th International Conference on Implementation and Application of Automata | |
| Aug 12, 2010 - Aug 15, 2010 |
Winnipeg, Manitoba, Canada |
Apr 9, 2010 |
| SEFM 2010 |
8th IEEE International Conference on Software Engineering and Formal Methods | |
| Sep 13, 2010 - Sep 17, 2010 |
Pisa, Italy |
Mar 22, 2010 |
| DLT 2010 |
14th International Conference on Developments in Language Theory | |
| Aug 17, 2010 - Aug 20, 2010 |
London, Ontario, Canada |
Mar 20, 2010 |
| LICS 2010 |
Twenty-Fifth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE | |
| Jul 11, 2010 - Jul 14, 2010 |
Edinburgh, Scotland, U.K. |
Jan 17, 2010 (Jan 10, 2010) |
| TGC 2010 |
5th Intl. Symposium on Trustworthy Global Computing | |
| Feb 24, 2010 - Feb 26, 2010 |
Munich, Germany |
Jan 8, 2010 |
| CCC 2010 |
The 25th IEEE Conference on Computational Complexity | |
| Jun 9, 2010 - Jun 12, 2010 |
Cambridge, MA, USA |
Dec 15, 2009 |
| CATS 2010 |
Computing: The Australasian Theory Symposium | |
| Jan 18, 2010 - Jan 21, 2010 |
Brisbane, Australia |
Aug 24, 2009 |
| WAOA 2009 |
7th Workshop on Approximation and Online Algorithms | |
| Sep 10, 2009 - Sep 11, 2009 |
Copenhagen, Denmark |
Jun 3, 2009 |
| ATVA 2009 |
7th International Symposium on Automated Technology for Verification and Analysis | |
| Oct 14, 2009 - Oct 16, 2009 |
Macao SAR, China |
May 1, 2009 |
| CONCUR 2009 |
20th International Conference on Concurrency Theory | |
| Sep 1, 2009 - Sep 4, 2009 |
Bologna, Italy |
Apr 15, 2009 (Apr 8, 2009) |
| DCFS 2010 |
Workshop on Descriptional Complexity of Formal Systems | |
| Aug 8, 2010 - Aug 10, 2010 |
Saskatoon, SK, Canada |
TBD |
|
