All CFPs for "theorem proving"

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 | |
---|---|---|---|---|---|---|

LFMTP'18 | Logical Frameworks and Meta Languages: Theory and Practice. | Oxford, UK | Apr 29, 2018 | Jul 07, 2018 | logical framework proof theory theorem proving programming languages | |

ADSL2018 | First Workshop on Automated Deduction for Separation Logics | Oxford, UK | Jul 13, 2018 | separation logic decision procedures complexity theorem proving | ||

CICM-2018 | Intelligent Computer Mathematics | Hagenberg, Austria | Apr 22, 2018 | Aug 13, 2018 | knowledge management computer algebra theorem proving digital mathematical libraries |