Logic List Mailing Archive

Kick-off meeting of the Automated Theorem Provers Working Group of EuroProofNet

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 

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
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