[Om-announce] EuroProofNet WG2 kickoff meeting

[geoff at cs.miami.edu]

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 at uliege.be> and Alexander Steen <alexander.steen at 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