All CFPs for "automated deduction"
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 |  |
|---|---|---|---|---|---|---|
| WiL2021 | 5th International Workshop "Women in Logic" | Rome, Italy | Jun 27, 2021 | logic proof theory automated deduction constructive mathematics | | |
| ThEdu'21 | Theorem Proving Components for Educational Software | Pittsburgh, PA, United States | May 9, 2021 | Jul 11, 2021 | automated deduction mathematics education | |
| CADE-28 | The 28th International Conference on Automated Deduction | Pittsburgh, PA, United States | Feb 22, 2021 | Jul 11, 2021 | automated deduction applications | |
| UNIF 2021 | 35th International Workshop on Unification | Buenos Aires, Argentina | Apr 16, 2021 | Jul 18, 2021 | unification automated deduction term rewriting | |