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) |
|