Theoretical Computer Science

FacebookTwitterLinkedInGoogle AddThis Feed Button
(ordered by deadline)
 
Event When Where Deadline
CSE 2019 7th International Conference on Computational Science and Engineering
Apr 27, 2019 - Apr 28, 2019 Copenhagen, Denmark Dec 16, 2018
Petri Nets 2019 Applications and Theory of Petri Nets
Jun 23, 2019 - Jun 28, 2019 Aachen, Germany Jan 22, 2019 (Jan 16, 2019)
WORDS 2019(new) 12th International Conference on Words
Sep 9, 2019 - Sep 13, 2019 Loughborough, UK Apr 12, 2019
Expired CFPs
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
MFCS 2018 Mathematical Foundations of Computer Science
Aug 27, 2018 - Aug 31, 2018 Liverpool, UK Apr 24, 2018 (Apr 20, 2018)
CONCUR 2018 29th International Conference on Concurrency Theory
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 23, 2018 (Apr 17, 2018)
PAAW 2018 Parameterized Approximation Algorithms Workshop
Jul 9, 2018 - Jul 9, 2018 Prague, Czechia Apr 20, 2018
UNIF 2018 32nd International Workshop on Unification
Jul 7, 2018 - Jul 7, 2018 Oxford Apr 16, 2018 (Apr 9, 2018)
LearnAut 2018 [deadline extension] Learning and Automata (LearnAut) -- FLoC 2018 Workshop
Jul 13, 2018 - Jul 13, 2018 University of Oxford, United Kingdom Mar 31, 2018
FG 2018 The 23rd Conference on Formal Grammar
Aug 11, 2018 - Aug 12, 2018 Sofia, Bulgari Mar 15, 2018
CIAA 2018 23rd International Conference on Implementation and Application of Automata
Jul 30, 2018 - Aug 2, 2018 Charlottetown, Canada Mar 11, 2018
LATA 2018 12th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
Apr 8, 2018 - Apr 12, 2012 Ramat Gan, Israel Nov 7, 2017
OPODIS 2017 OPODIS 2017 Call for Papers
Dec 18, 2017 - Dec 20, 2017 Lisbon Sep 4, 2017 (Aug 28, 2017)
SBMF 2017 20th Brazilian Symposium on Formal Methods
Nov 27, 2017 - Dec 1, 2017 Recife, Pernambuco, Brazil Jul 14, 2017 (Jul 7, 2017)
IPEC 2017 12th International Symposium on Parameterized and Exact Computation
Sep 6, 2017 - Sep 8, 2017 Vienna Jun 28, 2017 (Jun 25, 2017)
EXPRESS/SOS 2017 Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
Sep 4, 2017 - Sep 4, 2017 Berlin Jun 23, 2017
RP 2017 Reachability Problems
Sep 7, 2017 - Sep 9, 2017 Royal Holloway, University of London Jun 19, 2017
first | previous | Page 1 | next | last Total of 190 CFPs in 10 pages