| Event | When | Where | Deadline | | | Expired CFPs |
| 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) |
| DLT 2026 |
DLT 2026 - The 30th International Conference on Developments in Language Theory | |
| Jun 30, 2026 - Jul 3, 2026 |
Rouen, France |
TBD |
| NCMA 2026 |
NCMA 2026 — 16th International Workshop on Non-Classical Models of Automata and Applications | |
| Jun 29, 2026 - Jun 30, 2026 |
Rouen, France |
TBD |
| DCFS 2010 |
Workshop on Descriptional Complexity of Formal Systems | |
| Aug 8, 2010 - Aug 10, 2010 |
Saskatoon, SK, Canada |
TBD |
|
