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 |  |
|---|---|---|---|---|---|---|
| StuCoSReC '21 | Student Computer Science Research Conference 2021 | Maribor, Slovenia | Jul 1, 2021 | Sep 14, 2021 | computer science artificial intelligence theoretical computer science computer vision | |
| NCCMA 2021 | National Conference on Contemporary Mathematics & Applications | Chennai, India | Sep 2, 2021 | Oct 20, 2021 | mathematical modelling number theory and cryptography theoretical computer science fuzzy sets , soft computing | |
| WEIT 2021 | VI Workshop-Escola de Informática Teórica | Bagé, Brazil | Sep 30, 2021 | Nov 17, 2021 | theoretical computer science logic formal methods theorem proving | |
| SBMF 2021 | 24th Brazilian Symposium on Formal Methods | Aug 6, 2021 | Dec 6, 2021 | formal methods theoretical computer science verification and validation | | |
| LFCS'22 | Symposium on Logical Foundations of Computer Science | Deerfield Beach, FL, United States | Sep 12, 2021 | Jan 10, 2022 | logic theoretical computer science mathematics philosophy | |
| CiE 2022 | Computability in Europe 2022 | Swansea, UK | Jan 28, 2022 | Jul 11, 2022 | computability theory logic mathematics theoretical computer science | |
| LATIN 2022 | The 15th Latin American Theoretical Informatics Symposium | Guanajuato, Mexico | May 22, 2022 | Oct 17, 2022 | decidability complexity algorithms theoretical computer science | |