Top of this page
Skip navigation, go straight to the content

Het programma bestond uit de volgende voordrachten:

Herman Geuvers: Automath in historisch perspectief
Fairouz Kamareddine: De Bruijns bijdragen aan typentheorie en herschrijfsystemen
Guido Janssen: Tijdfrequentie-analyse na N.G. de Bruijn
Jan van de Craats: Leve de wiskunde olympiades!
Dick de Bruijn: Terugblik
Inhuldiging tot erelid van de Vereniging voor Logica door Henk Barendregt (laudatio)
Overhandiging van het boek met felicitatiebrieven door dagvoorzitter Jos Baeten.