| Event | When | Where | Deadline | | | Expired CFPs |
| TFP 2012 |
13th International Symposium on Trends in Functional Programming 2012 | |
| Jun 12, 2012 - Jun 14, 2012 |
St Andrews, Scotland |
Mar 26, 2012 |
| PSSV 2012 |
Program Semantics, Specification and Verification: Theory and Applications | |
| Jul 1, 2012 - Jul 2, 2012 |
Nizhni Novgorod, Russia |
Mar 25, 2012 |
| CIAA 2012 |
17th International Conference on Implementation and Application of Automata | |
| Jul 17, 2012 - Jul 20, 2012 |
Porto, Portugal |
Mar 18, 2012 |
| DLT 2012 |
16th International Conference on Developments in Language Theory | |
| Aug 14, 2012 - Aug 17, 2012 |
Taipei, Taiwan |
Mar 15, 2012 |
| TASE 2012 |
6th IEEE International Symposium on Theoretical Aspects of Software Engineering | |
| Jul 4, 2012 - Jul 6, 2012 |
Beijing, China |
Jan 20, 2012 (Jan 13, 2012) |
| LATA 2012 |
6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| Mar 5, 2012 - Mar 9, 2012 |
A Coruña, Spain |
Oct 12, 2011 |
| LATIN 2012 |
10th Latin American Theoretical Informatics Symposium | |
| Apr 16, 2012 - Apr 20, 2012 |
Arequipa, Peru |
Sep 30, 2011 |
| Fundamenta Informaticae 2012 |
[Alan Turing year 2012] Watching the Daisies Grow: from biology to biomathematics and bioinformatics | |
| N/A |
N/A |
Jul 31, 2011 |
| YRF 2011 |
Young Researchers Forum | |
| Aug 22, 2011 - Aug 24, 2011 |
Warsaw, Poland |
Jun 10, 2011 |
| FORMATS 2011 |
9th International Conference on Formal Modeling and Analysis of Timed Systems | |
| Sep 21, 2011 - Sep 23, 2011 |
Aalborg, Denmark |
May 22, 2011 (May 15, 2011) |
| NCMA 2011 |
Non-Classical Models of Automata and Applications. | |
| Jul 18, 2011 - Jul 19, 2011 |
Milano, Italy |
May 12, 2011 |
| CONCUR 2011 |
22nd International Conference on Concurrency Theory | |
| Sep 6, 2011 - Sep 9, 2011 |
Aachen, Germany |
Apr 8, 2011 (Apr 1, 2011) |
| DLT 2011 |
15th International Conference on Developments in Language Theory | |
| Jul 19, 2011 - Jul 22, 2011 |
Milano (Italy) |
Feb 21, 2011 |
| TQC 2011 |
The 6th Conference on Theory of Quantum Computation, Communication, and Cryptography | |
| May 24, 2011 - May 26, 2011 |
Madrid, Spain |
Jan 24, 2011 |
| 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 |
|
