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/current/newsitem/16057
 /12-March-2026-Workshop-on-Fixpoint-Logics-And-Pro
 of-Systems
DTSTAMP:20260310T170123
SUMMARY:Workshop on Fixpoint Logics And Proof Syst
 ems
DTSTART;TZID=Europe/Amsterdam:20260312T093000
DTEND;TZID=Europe/Amsterdam:20260312T170000
LOCATION:L1.12 in LAB42, Science Park 900, Amsterd
 am 
DESCRIPTION:This workshop aims to connect research
 ers and students interested in fixpoint logics, (c
 yclic) proof theory and related topics. Participat
 ion is free and no registration is required. Invit
 ed speakers are Balder ten Cate, Sebastian Enqvist
 , Iris van der Giessen, Marianna Girlando and Thom
 as Studer.  The workshop is colocated with the PhD
  defense of Johannes Kloibhofer on the 13th of Feb
 ruary. More information can be found here.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This workshop 
 aims to connect researchers and students intereste
 d in fixpoint logics, (cyclic) proof theory and re
 lated topics. Participation is free and no registr
 ation is required. Invited speakers are Balder ten
  Cate, Sebastian Enqvist, Iris van der Giessen, Ma
 rianna Girlando and Thomas Studer.</p>\n  <p>The w
 orkshop is colocated with the PhD defense of Johan
 nes Kloibhofer on the 13th of February. More infor
 mation can be found <a href="https://jkloibhofer.g
 ithub.io/flaps/" target="_blank" rel="noopener">he
 re</a>.</p>\n
URL:https://jkloibhofer.github.io/flaps/
CONTACT:Johannes Kloibhofer at j.kloibhofer at uva
 .nl
END:VEVENT
END:VCALENDAR