BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Evenitto//Listings//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:7bff1626-b987-45f6-a591-a81209d93506@evenitto.com
DTSTAMP:20261031T074005Z
DTSTART:20261208T093000Z
DTEND:20261208T113000Z
SUMMARY:Rewriting Induction for Higher-OrderConstrained Rewriting
DESCRIPTION:Rewriting Induction for Higher-OrderConstrained Rewriting is th
 e PhD defence of K. Hagens at Radboud University\, Nijmegen\, on 8 Decembe
 r 2026 at 10:30.\n\nhttps://evenitto.com/nl/en/listings/rewriting-inductio
 n-for-higher-orderconstrained-rewriting-fd16ddbf
LOCATION:Radboud Universiteit\, Houtlaan 4\, 6525 XZ Nijmegen\, Gelderland\
 , NL
END:VEVENT
END:VCALENDAR