| Event | When | Where | Deadline | | | Expired CFPs |
| 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 |
| 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 |
|
