Please note that this newsitem has been archived, and may contain outdated information or links.
11 - 12 August 2022, Kick-off meeting of the Automated Theorem Provers Working Group of EuroProofNet, Haifa, Israel
EuroProofNet is the European research network on digital proofs, aiming at boosting the interoperability and usability of proof systems. The EuroProofNet Automated Theorem Provers Working Group (WG2) is organizing its kickoff meeting co-located with the 8th Workshop on Practical Aspects of Automated Reasoning (PAAR 2022), taking place at FLoC in Haifa, Israel, at August 11-12, 2022. While PAAR 2022 is a two-day event, the working group meeting will essentially be on the second day of PAAR (August 12).
Confirmed speakers: Josef Urban, Geoff Sutcliffe, Andres Notzli and Guillaume Burel. The meeting will be primarily in-person, but the organizers plan to implement a hybrid format so that all interested EuroProofNet members can participate via a video call.
Please note that this newsitem has been archived, and may contain outdated information or links.