Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
DCFS 2017 19th International Conference on Descriptional Complexity of Formal Systems
Jul 3, 2017 - Jul 5, 2017 Milano, Italy 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
VSTTE 2016 Verified Software: Theories, Tools, Experiments
Jul 17, 2016 - Jul 18, 2016 Toronto, Canada May 2, 2016 (Apr 25, 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
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)
AUTOMATA 2016 22nd International Workshop on Cellular Automata and Discrete Complex Systems
Jun 15, 2016 - Jun 17, 2016 Zurich, Switzerland May 1, 2016
IEEE-iCATccT 2016 IEEE 2nd International Conference on Applied and Theoretical Computing and Communication Technology (iCATccT - 2016)
Jul 21, 2016 - Jul 23, 2016 Bengaluru, India Apr 20, 2016
CONCUR 2016 The 27th International Conference on Concurrency Theory
Aug 23, 2016 - Aug 26, 2016 Québec City, Canada Apr 18, 2016 (Apr 11, 2016)
PSSV 2016 7th Workshop Program Semantics, Specification and Verification
Jun 14, 2016 - Jun 14, 2016 Saint Petersburg, Russia Apr 15, 2016
PNSE 2016 International Workshop on Petri Nets and Software Engineering
Jun 20, 2016 - Jun 21, 2016 Toruń, Poland Apr 10, 2016 (Mar 29, 2016)
first | previous | Page 2 | next | last Total of 180 CFPs in 9 pages