Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
Expired CFPs
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)
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
CIAA 2016 21st International Conference on Implementation and Application of Automata
Jul 19, 2016 - Jul 22, 2016 SEOUL, SOUTH KOREA Mar 15, 2016
DCFS 2016 Descriptional Complexity of Formal Systems Working Conference
Jul 5, 2016 - Jul 8, 2016 Bucharest, Romania Mar 1, 2016
ICGT 2016 9th International Conference on Graph Transformation
Jul 5, 2016 - Jul 6, 2016 Vienna Feb 29, 2016 (Feb 15, 2016)
LICS 2016 Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 5, 2016 - Jul 8, 2016 New York City, USA Jan 18, 2016 (Jan 11, 2016)
Petri Nets 2016 ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency
Jun 19, 2016 - Jun 24, 2016 Toruń, Poland Jan 15, 2016
first | previous | Page 3 | next | last Total of 192 CFPs in 10 pages