All CFPs for "theoretical computer science"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click 
.
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| MFCS 2020 | 45th International Symposium on Mathematical Foundations of Computer Science | Prague, Czechia | May 4, 2020 | Aug 24, 2020 | theoretical computer science | |
| GandALF 2020 | The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification | Bruxelles, Belgium | Jul 5, 2020 | Sep 21, 2020 | theoretical computer science automata games logic | |
| FAIR'2020 | Fundamental And Applied IT Research | Nha Trang, Viet Nam | Aug 15, 2020 | Oct 8, 2020 | computational science theoretical computer science data science health informatics | |
| SBMF 2020 | 23rd Brazilian Symposium on Formal Methods | Ouro Preto (MG), Brazil | Jul 31, 2020 | Nov 25, 2020 | formal methods theoretical computer science verification and validation | |
| IPEC 2020 | 15th International Symposium on Parameterized and Exact Computation | Hong Kong, China | Jul 22, 2020 | Dec 14, 2020 | theoretical computer science parameterized complexity | |