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/2024/newsitem/14620/29
 ---30-January-2024-Workshop-on-Proof-Systems-for-M
 odal-Fixed-Point-Logics
DTSTAMP:20231120T144755
SUMMARY:Workshop on Proof Systems for Modal Fixed 
 Point Logics
DTSTART;TZID=Europe/Amsterdam:20240129T090000
DTEND;TZID=Europe/Amsterdam:20240130T113000
LOCATION:Room F0.01 at the Bushuis, Kloveniersburg
 wal 48. Amsterdam
DESCRIPTION:On 29 and 30 January 2024 the workshop
  Proof Systems for Modal Fixed Point Logics takes 
 place at the University of Amsterdam. The workshop
  is associated with two public PhD Defences. Guill
 ermo Menéndez Turata will defend his thesis Cyclic
  Proof Systems for Modal Fixpoint Logics on 30 Jan
 uary at 13:00 in the Agnietenkapel. Jan Rooduijn w
 ill defend his thesis Fragments and Frame Classes:
  Towards a uniform proof theory for modal fixed po
 int logics on 31 January at 11:00 in the Aula.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>On 29 and 30 J
 anuary 2024 the workshop Proof Systems for Modal F
 ixed Point Logics takes place at the University of
  Amsterdam. The workshop is associated with two pu
 blic PhD Defences. Guillermo Menéndez Turata will 
 defend his thesis Cyclic Proof Systems for Modal F
 ixpoint Logics on 30 January at 13:00 in the Agnie
 tenkapel. Jan Rooduijn will defend his thesis Frag
 ments and Frame Classes: Towards a uniform proof t
 heory for modal fixed point logics on 31 January a
 t 11:00 in the Aula.</p>\n
URL:https://staff.fnwi.uva.nl/j.m.w.rooduijn/works
 hop/
CONTACT:Jan Rooduijn at j.m.w.rooduijn at uva.nl
END:VEVENT
END:VCALENDAR