11-12 Aug 2022
Haifa, Israel
Dear all, For those that do not yet know EuroProofNet, it is the European research network on digital proofs. EuroProofNet aims at boosting the interoperability and usability of proof systems. You can register here https://europroofnet.github.io/ (follow the link "apply" on the main page). 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). See https://europroofnet.github.io/wg2-meeting1/ and https://paar2022.github.io/ for further details. A preliminary program, including plenary presentations, invited talks and discussion sessions is available at https://europroofnet.github.io/wg2-meeting1/ . 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 (Details TBA). EuroProofNet can support the in-person participation of WG members. If you want to apply for travel funding support, please send a brief statement about your motivation and topical fit (max. half a page), together with a justified travel cost estimation (e.g., via screenshots or invoices for flights), to Pascal Fontaine <Pascal.Fontaine@uliege.be> and Alexander Steen <alexander.steen@uni-greifswald.de> until the deadline (see below). # Confirmed speakers * Josef Urban * Geoff Sutcliffe * Andres Notzli * Guillaume Burel # Important dates PAAR workshop: August 11-12, 2022 EuroProofNet WG2 meeting: August 12, 2022 Funding request deadline: July 15, 2022 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam