Upcoming conferences on interactive and automated theorem proving

60 views

Skip to first unread message

Anand Rao Tadipatri

unread,

Dec 18, 2021, 1:52:44 AM12/18/21

to Automated Mathematics India

Dear all,

There have been some recent announcements on the LEAN Users Google Group regarding upcoming conferences in 2022 on interactive and automated theorem proving. I am linking them here since they might be of interest to members of this group as well.

International Conference on Interactive Theorem Proving (ITP Conference) 2022 - details
International Joint Conference on Automated Reasoning (IJCAR) 2022 - details
Certified Programs and Proofs (CPP) 2022 - details

Regards,

Anand

Reply all

Reply to author

Forward

0 new messages