Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
CMC18 18th International Conference on Membrane Computing
Jul 24, 2017 - Jul 28, 2017 Bradford, UK Apr 17, 2017
LearnAut 2017 Learning and Automata - LICS 2017 Workshop
Jun 19, 2017 - Jun 19, 2017 Reykjavik (Iceland) Apr 1, 2017
Computation SI 2017 Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods
Oct 10, 2016 - Mar 31, 2017 N/A Mar 31, 2017
Tbilisi 2017 The Twelfth International Tbilisi Symposium on Language, Logic and Computation
Sep 18, 2017 - Sep 22, 2017 Kakheti, Georgia Mar 15, 2017
DCFS 2017 19th International Conference on Descriptional Complexity of Formal Systems
Jul 3, 2017 - Jul 5, 2017 Milano, Italy Mar 1, 2017
CIAA 2017 22nd International Conference on Implementation and Application of Automata
Jun 27, 2017 - Jun 30, 2017 Marne-la-Vallée (Fr Mar 1, 2017
ICALP 2017 44th International Colloquium on Automata, Languages, and Programming
Jul 10, 2017 - Jul 14, 2017 Warsaw, Poland Feb 17, 2017
CfW-CONCUR 2017 Call for Workshops in The 28th International Conference on Concurrency Theory
Sep 4, 2017 - Sep 9, 2017 Berlin Jan 27, 2017
Petri Nets 2017 CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
Jun 25, 2017 - Jun 25, 2017 Zaragoza, Spain Jan 15, 2017 (Jan 10, 2017)
LICS 2017 Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
Jun 20, 2017 - Jun 23, 2017 Reykjavik, Iceland Jan 9, 2017 (Jan 3, 2017)
LATA 2017 11th International Conference on Language and Automata Theory and Applications
Mar 6, 2017 - Mar 10, 2017 Umeå, Sweden Oct 21, 2016
ITCS 2017 Innovations in Theoretical Computer Science
Jan 9, 2017 - Jan 1, 2017 Berkeley Sep 15, 2016
FSTTCS 2016 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Dec 13, 2016 - Dec 15, 2016 Chennai, India Jul 15, 2016
LACL 2016 Logical Aspects of Computational Linguistics
Dec 5, 2016 - Dec 7, 2016 Nancy, France Jun 15, 2016
EXPRESS/SOS 2016 Combined 23th International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)
Aug 22, 2016 - Aug 22, 2016 Québec Jun 13, 2016
RP 2016 Reachability Problems
Sep 19, 2016 - Sep 21, 2016 Aalborg, Denmark Jun 10, 2016
Stringology 2016 Prague Stringology Conference
Aug 29, 2016 - Aug 31, 2016 Prague, Czech Republic May 19, 2016
TTATT 2016 4th International Workshop on Trends in Tree Automata and Tree Transducers
Jul 18, 2016 - Jul 18, 2016 Seoul, South Korea May 2, 2016
VSTTE 2016 Verified Software: Theories, Tools, Experiments
Jul 17, 2016 - Jul 18, 2016 Toronto, Canada May 2, 2016 (Apr 25, 2016)
ICTAC 2016 13th International Colloquium on Theoretical Aspects of Computing
Oct 24, 2016 - Oct 31, 2016 Taipei, Taiwan, ROC May 1, 2016 (Apr 23, 2016)
first | previous | Page 2 | next | last Total of 186 CFPs in 10 pages