Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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)
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)
WATA 2016 Weighted Automata: Theory and Applications
Apr 25, 2016 - Apr 29, 2016 Aalborg University, Denmark Mar 29, 2016
UTP 2016 The 6th International Symposium on Unifying Theories of Programming
Jun 4, 2016 - Jun 5, 2016 Reykjavík, Iceland Mar 20, 2016
AiML 2016 11th International Conference on Advances in Modal Logic
Aug 29, 2016 - Sep 2, 2016 Budapest, Hungary Mar 17, 2016 (Mar 10, 2016)
CIAA 2016 21st International Conference on Implementation and Application of Automata
Jul 19, 2016 - Jul 22, 2016 SEOUL, SOUTH KOREA Mar 15, 2016
first | previous | Page 2 | next | last Total of 176 CFPs in 9 pages