UniAgendaStay curious

Topics Agenda In numbers Saved NL

UniAgendaStay curious

Not-for-profit, out of a love of science.

Agenda In numbers Topics Sources About Privacy Cookies Terms Contact Unsubscribe

© 2026 UniAgenda

We only remember your cookie choice, so we don't have to ask you every time. Saved events and filters stay in this browser. Statistics and marketing only switch on if you allow them.

UniAgenda RURewriting Induction for Higher-OrderConstrained Rewriting

Back to the agenda

8Dec10:30

PhD defence RU Nijmegen Computing Natural sciences

Rewriting Induction for Higher-OrderConstrained Rewriting

Aula · Nijmegen · Faculteit der Natuurwetenschappen, Wiskunde en Informatica

Op 8 december 2026 om 10:30 is de promotie van K. Hagens.

Radboud University

More information at the universityDirections