UniAgendaBlijf nieuwsgierig

Onderwerpen Agenda In cijfers Bewaard EN

UniAgendaBlijf nieuwsgierig

Zonder winstoogmerk, uit liefde voor wetenschap.

Agenda In cijfers Onderwerpen Bronnen Over Privacy Cookies Voorwaarden Contact Afmelden

© 2026 UniAgenda

We onthouden alleen je cookiekeuze, zodat we het je niet elke keer opnieuw vragen. Bewaarde evenementen en filters blijven in deze browser. Statistieken en marketing gaan pas aan als je dat goed vindt.

UniAgenda RURewriting Induction for Higher-OrderConstrained Rewriting

Terug naar de agenda

8dec10:30

Promotie RU Nijmegen Informatica Natuurwetenschappen

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 Universiteit

Meer informatie bij de universiteitRoute