| Event | When | Where | Deadline | | | Expired CFPs |
| AFL 2014 |
Automata and Formal Languages | |
| May 27, 2014 - May 29, 2014 |
Szeged, Hungary |
Mar 14, 2014 |
| CIAA 2014 |
Conference on Implementation and Application of Automata | |
| Jul 30, 2014 - Aug 2, 2014 |
Giessen, Germany |
Mar 9, 2014 |
| UTP 2014 |
Unifying Theories of Programming | |
| May 12, 2014 - May 13, 2014 |
Singapore |
Jan 24, 2014 (Jan 17, 2014) |
| LATIN 2014 |
Latin American Theoretical INformatics (LATIN 2014) | |
| Mar 31, 2014 - Apr 4, 2014 |
Montevideo, Uruguay |
Sep 22, 2013 |
| AFCA 2013 |
1st International Workshop on Applications and Fundamentals of Cellular Automata | |
| Dec 4, 2013 - Dec 6, 2013 |
Matsuyama, Japan |
Aug 19, 2013 (Aug 13, 2013) |
| RP 2013 |
The 7th International Workshop on Reachability Problems | |
| Sep 25, 2013 - Sep 27, 2013 |
Uppsala, Sweden |
Jun 10, 2013 |
| ISCIM 2013 |
2nd International Symposium on Computing in Informatics and Mathematics | |
| Sep 26, 2013 - Sep 27, 2013 |
Tirana, Albania |
Jun 9, 2013 |
| NCMA 2013 |
Non-Classical Models of Automata and Applications | |
| Aug 13, 2013 - Aug 14, 2013 |
Umea, Sweden |
May 26, 2013 |
| MCU 2013 |
Machines, Computations and Universality | |
| Sep 9, 2013 - Sep 12, 2013 |
Zürich, Switzerland |
Apr 30, 2013 |
| MFCS 2013 |
38 International Symposium on Mathematical Foundations of Computer Science | |
| Aug 26, 2013 - Aug 30, 2013 |
Klosterneuburg, Austria |
Apr 19, 2013 |
| AUTOMATA 2013 |
19th International Workshop on Cellular Automata and Discrete Complex Systems | |
| Sep 17, 2013 - Sep 19, 2013 |
Giessen, Germany |
Apr 15, 2013 |
| ARSEC 2013 |
Automated Reasoning in Security | |
| Jun 9, 2013 - Jun 9, 2013 |
Lake Placid, New York |
Apr 8, 2013 |
| DCFS 2013 |
15th International Workshop on Descriptional Complexity of Formal Systems | |
| Jul 22, 2013 - Jul 25, 2013 |
London, Ontario, Canada |
Mar 20, 2013 |
| CIAA 2013 |
18th International Conference on Implementation and Application of Automata | |
| Jul 16, 2013 - Jul 19, 2013 |
Halifax, Nova Scotia, Canada |
Mar 10, 2013 |
| ICTAC 2013 |
10th International Colloquium on Theoretical Aspects of Computing | |
| Sep 4, 2013 - Sep 6, 2013 |
Shanghai, China |
Mar 8, 2013 |
| EATCS 2013 |
Annual Meeting of the European Association for Theoretical Computer Science | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| 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 |
|
