All CFPs for "theorem proving"

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.

Acronym | Name | Location | Submission deadline | Start date | Topics | |
---|---|---|---|---|---|---|

NFM2018 | Tenth NASA Formal Methods Symposium | Newport News, VA, United States | Dec 11, 2017 | Apr 17, 2018 | formal methods software verification runtime verification theorem proving | |

LFMTP'18 | Logical Frameworks and Meta Languages: Theory and Practice. | Oxford, UK | Apr 15, 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 |