All CFPs for "computational logic"
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 |  |
|---|---|---|---|---|---|---|
| UNIF 2020 | The 34th International Workshop on Unification | Paris, France | Apr 20, 2020 | Jun 29, 2020 | constraint solving type checking computational logic unification theory | |
| TTCS 2020 | Topics in Theoretical Computer Science | Tehran, Iran | Jan 12, 2020 | Jul 1, 2020 | algorithms semantics computational logic theoretical computer science | |