EuroProofNet WG2 kickoff meeting

[geoff]

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