Event | When | Where | Deadline | |
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 |
TAMC 2012 |
The 9th Annual Conference on Theory and Applications of Models of Computation | |
May 16, 2012 - May 21, 2012 |
Beijing, China |
Jan 10, 2012 |
ECCS 2012 |
Call for Papers - Soft Computing Journal Special Issue on Evolutionary Computing & Complex Systems | |
Jan 15, 2012 - Jun 30, 2012 |
Luxembourg |
Jan 15, 2012 |
GP @ GECCO 2012 |
Genetic Programming track at GECCO 2012 | |
Jul 7, 2012 - Jul 11, 2012 |
Philadelphia |
Jan 27, 2012 |
DCPerf 2012 |
The Second International Workshop on Data Center Perforamnce | |
Jun 18, 2012 - Jun 21, 2012 |
Macau, China |
Jan 30, 2012 |
Theoretical Matter(s) 2012 |
PROSTHESIS: Journal of Interdisciplinary Theory and Criticism | |
N/A |
N/A |
Feb 1, 2012 |
Volume II 2012 |
CFP: Queer Interventions and Intersections, Trans-Scripts, an interdisciplinary online journal in the Humanities and Social Sciences at UC Irvine | |
N/A |
N/A |
Feb 1, 2012 |
TtW 2012 |
Theorizing the Web 2012 | |
Apr 14, 2012 - Apr 14, 2012 |
University of Maryland |
Feb 5, 2012 |
PODC 2012 |
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing | |
Jul 16, 2012 - Jul 18, 2012 |
Madeira, Portugal |
Feb 15, 2012 (Feb 10, 2012) |
SIROCCO 2012 |
19th International Colloquium on Structural Information and Communication Complexity | |
Jun 30, 2012 - Jul 2, 2012 |
Reykavik, Iceland |
Feb 27, 2012 |
ThRaSH 2012 |
Workshop on Theory of Randomized Search Heuristics | |
May 2, 2012 - May 3, 2012 |
Villeneuve d'Ascq, France |
Mar 16, 2012 |
CIAA 2012 |
17th International Conference on Implementation and Application of Automata | |
Jul 17, 2012 - Jul 20, 2012 |
Porto, Portugal |
Mar 18, 2012 |
PSSV 2012 |
Program Semantics, Specification and Verification: Theory and Applications | |
Jul 1, 2012 - Jul 2, 2012 |
Nizhni Novgorod, Russia |
Mar 25, 2012 |
TFP 2012 |
13th International Symposium on Trends in Functional Programming 2012 | |
Jun 12, 2012 - Jun 14, 2012 |
St Andrews, Scotland |
Mar 26, 2012 |
DCFS 2012 |
14th International Workshop on Descriptional Complexity of Formal Systems | |
Jul 23, 2012 - Jul 25, 2012 |
Braga, Portugal |
Apr 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 |
GandALF 2012 |
Third International Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 6, 2012 - Sep 8, 2012 |
Napoli, Italy |
May 22, 2012 (May 16, 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 |
GAMES 2012 |
Annual Workshop of the ESF Networking Programme on Games for Design and Verification | |
Sep 7, 2012 - Sep 12, 2012 |
Napoli, Italy |
Jun 27, 2012 |
|