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/14620
/29---30-January-2024-Workshop-on-Proof-Systems-fo
r-Modal-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 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.

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