BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13806/11
 ---12-August-2022-Kick-off-meeting-of-the-Automate
 d-Theorem-Provers-Working-Group-of-EuroProofNet-Ha
 ifa-Israel
DTSTAMP:20220707T131813
SUMMARY:Kick-off meeting of the Automated Theorem 
 Provers Working Group of EuroProofNet, Haifa, Isra
 el
DTSTART;VALUE=DATE:20220811
DTEND;VALUE=DATE:20220812
LOCATION:Haifa, Israel
DESCRIPTION:EuroProofNet is the European research 
 network on digital proofs, aiming at boosting the 
 interoperability and usability of proof systems. T
 he EuroProofNet Automated Theorem Provers Working 
 Group (WG2) is organizing its kickoff meeting co-l
 ocated with the 8th Workshop on Practical Aspects 
 of Automated Reasoning (PAAR 2022), taking place a
 t FLoC in Haifa, Israel, at August 11-12, 2022. Wh
 ile PAAR 2022 is a two-day event, the working grou
 p meeting will essentially be on the second day of
  PAAR (August 12).  Confirmed speakers: Josef Urba
 n, Geoff Sutcliffe, Andres Notzli and Guillaume Bu
 rel. The meeting will be primarily in-person, but 
 the organizers plan to implement a hybrid format s
 o that all interested EuroProofNet members can par
 ticipate via a video call.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>EuroProofNet i
 s the European research network on digital proofs,
  aiming at boosting the interoperability and usabi
 lity of proof systems. The EuroProofNet Automated 
 Theorem Provers Working Group (WG2) is organizing 
 its kickoff meeting co-located with the 8th Worksh
 op on Practical Aspects of Automated Reasoning (PA
 AR 2022), taking place at FLoC in Haifa, Israel, a
 t 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).</p>\n  
 <p>Confirmed speakers: Josef Urban, Geoff Sutcliff
 e, Andres Notzli and Guillaume Burel. The meeting 
 will be primarily in-person, but the organizers pl
 an to implement a hybrid format so that all intere
 sted EuroProofNet members can participate via a vi
 deo call.</p>\n
URL:https://europroofnet.github.io/wg2-meeting1/
CONTACT:Pascal.Fontaine at uliege.be
END:VEVENT
END:VCALENDAR