All CFPs for "automated reasoning"
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 |  |
|---|---|---|---|---|---|---|
| FroCoS 2021 | The 13th International Symposium on Frontiers of Combining Systems | Birmingham, UK | May 10, 2021 | Sep 6, 2021 | automated reasoning logic artificial intelligence | |
| SCSS 2021 | The 9th International Symposium on Symbolic Computation in Software Science | Online, Austria | Jun 7, 2021 | Sep 8, 2021 | formal methods automated reasoning symbolic computation software science | |