All CFPs for "automata theory"
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.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics |  |
|---|---|---|---|---|---|---|
| GANDALF2019 | The 10th International Symposium on Games, Automata, Logics, and Formal Verification | Talence, France | Jun 2, 2019 | Sep 2, 2019 | automata theory formal languages model checking | |
| Highlights 2019 | Highlights of Logic, Games and Automata 2019 | Warsaw, Poland | Jun 10, 2019 | Sep 17, 2019 | automata theory logic and finite model theory games for logic and verification | |
| IDS - 2020 | The 4-th International Conference on Intelligent Decision Science | Istanbul, Turkey | Feb 1, 2020 | May 12, 2020 | machine learning automata theory uncertainty theory decision science | |