| Event | When | Where | Deadline | | | Expired CFPs |
| CATS 2013 |
Computing: the Australasian Theory Symposium | |
| Jan 29, 2013 - Feb 1, 2013 |
Adelaide, Australia |
Aug 27, 2012 |
| RuFiDiM 2012 |
Second Russian Finnish Symposium on Discrete Mathematics | |
| Sep 25, 2012 - Sep 28, 2012 |
Turku, Finland |
Jun 30, 2012 |
| ISAAC 2012 |
The 23rd International Symposium on Algorithms and Computation | |
| Dec 19, 2012 - Dec 21, 2012 |
Taipei, Taiwan |
Jun 22, 2012 |
| TURING 2012 |
Turing Centenary Meeting, ENS de Lyon, France | |
| Jul 2, 2012 - Jul 4, 2012 |
Lyon |
Jun 1, 2012 |
| NCMA 2012 |
4th International Workshop on Non-Classical Models of Automata and Applications | |
| Aug 23, 2012 - Aug 24, 2012 |
Fribourg, Switzerland |
Apr 29, 2012 |
| DCFS 2012 |
14th International Workshop on Descriptional Complexity of Formal Systems | |
| Jul 23, 2012 - Jul 25, 2012 |
Braga, Portugal |
Apr 1, 2012 |
| 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 |
|
