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/2025/newsitem/15534/8-
 --11-September-2025-1st-International-School-on-Lo
 gical-Frameworks-and-Proof-Systems-Interoperabilit
 y-LFPSI-25-Orsay-France
DTSTAMP:20250320T151808
SUMMARY:1st International School on Logical Framew
 orks and  Proof Systems Interoperability (LFPSI'25
 ), Orsay, France
DTSTART;VALUE=DATE:20250908
DTEND;VALUE=DATE:20250911
LOCATION:Orsay, France
DESCRIPTION:The COST action EuroProofNet is happy 
 to announce that the organization of the 1st inter
 national school on logical frameworks and proof sy
 stems interoperability (LFPSI) in September 2025 i
 n Orsay, France.  Programme:  - Ambrus Kaposi, Sec
 ond-order generalized algebraic theories  - Andrej
  Bauer, Programming language techniques for proof 
 assistants  - Florian Rabe, Modular logic design  
 - Frédéric Blanqui, λΠ-calculus modulo rewriting: 
 theory and application to proof systems interopera
 bility
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The COST actio
 n EuroProofNet is happy to announce that the organ
 ization of the 1st international school on logical
  frameworks and proof systems interoperability (LF
 PSI) in September 2025 in Orsay, France.</p>\n  <p
 >Programme:<br>\n  - Ambrus Kaposi, Second-order g
 eneralized algebraic theories<br>\n  - Andrej Baue
 r, Programming language techniques for proof assis
 tants<br>\n  - Florian Rabe, Modular logic design<
 br>\n  - Frédéric Blanqui, λΠ-calculus modulo rewr
 iting: theory and application to proof systems int
 eroperability</p>\n
URL:https://europroofnet.github.io/LFPSI25/
END:VEVENT
END:VCALENDAR