Comparing and Constructing (Co)Inductive Predicates

Thursday 18 June 2026, 10:30 am
PhD defence PhD candidate: R.T.C. Turkenburg
Add to calendar
PhD candidate
R.T.C. Turkenburg
Promotor(s)
dr. J.C. Rot, prof. dr. J.H. Geuvers
Organisation
Faculty of Science, Institute for Computing and Information Sciences
Location
Aula

The PhD defence of R.T.C. Turkenburg is on 18 June 2026 at 10:30 am.