About
Rewriting Induction for Higher-OrderConstrained Rewriting is the PhD defence of K. Hagens at Radboud University, Nijmegen, on 8 December 2026 at 10:30.
FAQ
Where does it take place?
Radboud University
Houtlaan 4
6525 XZ Nijmegen
How can I register?
Registration goes through the Radboud University event page: ru.nl
Getting there
Radboud Universiteit, Houtlaan 4, 6525 XZ Nijmegen, Gelderland, NL
Open in Maps (opens in a new window)