| Event | When | Where | Deadline | |
| NCMA 2012 |
4th International Workshop on Non-Classical Models of Automata and Applications | |
| Aug 23, 2012 - Aug 24, 2012 |
Fribourg, Switzerland |
Apr 29, 2012 |
| TCS 2012 |
IFIP Theoretical Computer Science 2012 | |
| Sep 26, 2012 - Sep 28, 2012 |
Amsterdam, The Netherlands |
May 1, 2012 |
| WoLLIC 2012 |
19th Workshop on Logic, Language, Information and Computation | |
| Sep 3, 2012 - Sep 6, 2012 |
Buenos Aires, Argentina |
May 4, 2012 (Apr 27, 2012) |
| TURING 2012 |
Turing Centenary Meeting, ENS de Lyon, France | |
| Jul 2, 2012 - Jul 4, 2012 |
Lyon |
Jun 1, 2012 |
| ISAAC 2012 |
The 23rd International Symposium on Algorithms and Computation | |
| Dec 19, 2012 - Dec 21, 2012 |
Taipei, Taiwan |
Jun 22, 2012 |
| RuFiDiM 2012 |
Second Russian Finnish Symposium on Discrete Mathematics | |
| Sep 25, 2012 - Sep 28, 2012 |
Turku, Finland |
Jun 30, 2012 |
| CATS 2013 |
Computing: the Australasian Theory Symposium | |
| Jan 29, 2013 - Feb 1, 2013 |
Adelaide, Australia |
Aug 27, 2012 |
| STACS 2013 |
30th International Symposium on Theoretical Aspects of Computer Science | |
| Feb 27, 2013 - Mar 2, 2013 |
Kiel, Germany |
Sep 21, 2012 |
| LICS 2013 |
28th Annual ACM/IEEE Symposium on Logic In Computer Science | |
| Jun 25, 2013 - Jun 28, 2013 |
New Orleans, USA |
Jan 14, 2013 (Jan 7, 2013) |
| DLT 2013 |
17th International Conference on Developments in Language Theory | |
| Jun 18, 2013 - Jun 21, 2013 |
Paris |
Jan 15, 2013 |
| RTA 2013 |
24th International Conference on Rewriting Techniques and Applications | |
| Jun 24, 2013 - Jun 26, 2013 |
Eindhoven, The Netherlands |
Feb 5, 2013 (Feb 1, 2013) |
| EATCS 2013 |
Annual Meeting of the European Association for Theoretical Computer Science | |
| Jul 8, 2013 - Jul 12, 2013 |
Riga, Latvia |
Feb 15, 2013 |
| ICTAC 2013 |
10th International Colloquium on Theoretical Aspects of Computing | |
| Sep 4, 2013 - Sep 6, 2013 |
Shanghai, China |
Mar 8, 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 |
| DCFS 2013 |
15th International Workshop on Descriptional Complexity of Formal Systems | |
| Jul 22, 2013 - Jul 25, 2013 |
London, Ontario, Canada |
Mar 20, 2013 |
| CSL 2013 |
22nd EACSL Annual Conference on Computer Science Logic | |
| Sep 2, 2013 - Sep 5, 2013 |
Torino, Italy |
Apr 8, 2013 (Apr 1, 2013) |
| ARSEC 2013 |
Automated Reasoning in Security | |
| Jun 9, 2013 - Jun 9, 2013 |
Lake Placid, New York |
Apr 8, 2013 |
| AUTOMATA 2013 |
19th International Workshop on Cellular Automata and Discrete Complex Systems | |
| Sep 17, 2013 - Sep 19, 2013 |
Giessen, Germany |
Apr 15, 2013 |
| MFCS 2013 |
38 International Symposium on Mathematical Foundations of Computer Science | |
| Aug 26, 2013 - Aug 30, 2013 |
Klosterneuburg, Austria |
Apr 19, 2013 |
| FroCoS 2013 |
9th International Symposium on Frontiers of Combining Systems | |
| Sep 18, 2013 - Sep 20, 2013 |
Nancy, France |
Apr 22, 2013 (Apr 15, 2013) |
|
