Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
EXPRESS/SOS 2020(new) Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Aug 31, 2020 - Aug 31, 2020 Vienna, Austria Jun 26, 2020
Expired CFPs
TQC 2020 15th Conference on the Theory of Quantum Computation, Communication and Cryptography
Jun 9, 2020 - Jun 12, 2020 Riga, Latvia Feb 15, 2020
CSR 2020 15th INTERNATIONAL COMPUTER SCIENCE SYMPOSIUM IN RUSSIA
Jun 29, 2020 - Jul 3, 2020 Yekaterinburg Feb 13, 2020
ICALP 2020 47th International Colloquium on Automata, Languages and Programming
Jul 8, 2020 - Jul 12, 2020 Beijing, China Feb 12, 2020
LATA 2020 14th International Conference on Language and Automata Theory and Applications
Mar 2, 2020 - Mar 6, 2020 Milan Oct 18, 2019
MATCOS 2019 Middle-European Conference on Applied Theoretical Computer Science
Oct 10, 2019 - Oct 11, 2019 Koper, Slovenia Aug 25, 2019
RP 2019 13th International Conference on Reachability Problems (RP 2019)
Sep 11, 2019 - Sep 13, 2019 BRUSSELS, BELGIUM Jun 17, 2019
Blockchain-Consensus 2019 Blockchain Consensus Algorithms (Contributed Book)
Nov 30, 2019 - Nov 30, 2019 N/A Jun 15, 2019
Stringology 2019 23rd Prague Stringology Conference
Aug 26, 2019 - Aug 28, 2019 Prague, Czech Republic May 12, 2019
GCM 2019 10th International Workshop on Graph Computation Models
Jul 17, 2019 - Jul 17, 2019 Eindhoven, The Netherlands May 7, 2019 (May 2, 2019)
WORDS 2019 12th International Conference on Words
Sep 9, 2019 - Sep 13, 2019 Loughborough, UK Apr 12, 2019
NCMA 2019 11th International Workshop on Non-Classical Models of Automata and Applications
Jul 2, 2019 - Jul 3, 2019 Valencia, Spain Apr 8, 2019
LearnAut 2019 Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop
Jun 23, 2019 - Jun 23, 2019 Vancouver, Canada Apr 6, 2019
ICALP 2019 46th International Colloquium on Automata, Languages, and Programming
Jul 8, 2019 - Jul 12, 2019 Patras, Greece Feb 18, 2019
Petri Nets 2019 Applications and Theory of Petri Nets
Jun 23, 2019 - Jun 28, 2019 Aachen, Germany Jan 22, 2019 (Jan 16, 2019)
LICS 2019 Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
Jun 24, 2019 - Jun 27, 2019 Vancouver Jan 11, 2019 (Jan 4, 2019)
LATA 2019 13th International Conference on Language and Automata Theory and Applications
Mar 25, 2019 - Mar 29, 2019 Saint Petersburg Nov 11, 2018
SBMF 2018 21st Brazilian Symposium on Formal Methods
Nov 26, 2018 - Nov 30, 2018 Salvador, Brazil Jul 13, 2018 (Jul 2, 2018)
NCMA 2018 Non-Classical Models of Automata and Applications
Aug 21, 2018 - Aug 22, 2018 KoŇ°ice, Slovakia Jul 2, 2018
RP 2018 Reachability Problems
Sep 24, 2018 - Sep 26, 2018 Marseille, France Jun 15, 2018
first | previous | Page 1 | next | last Total of 205 CFPs in 11 pages