Op 18 juni 2026 om 10:30 is de promotie van R.T.C. Turkenburg.
Comparing and Constructing (Co)Inductive Predicates
donderdag 18 juni 2026, 10:30- Promovendus
- R.T.C. Turkenburg
- Promotor(s)
- dr. J.C. Rot, prof. dr. J.H. Geuvers
- Organisatie
- Faculteit der Natuurwetenschappen, Wiskunde en Informatica, Institute for Computing and Information Sciences
- Locatie
- Aula