The
Abhidhamma Model of the Mind
Utrecht, 30.09.2006.
Vipassana:
penetrating and protecting mindfulness Gothenburgh, 17.06.2005.
De
Mikrokosmos van de Menselijke Geest Arnhem, 30.01.2005.
Dissociatie en disidentificatie
Amsterdam, 27.11.2004.
The
cover-up model of the mind (revision 2, influenced by
Abhidhamma) Utrecht, 25.09.2004.
The
cover-up model of the mind (revision 1)
Stirling, 11.06.2004.
Intersection
Types University Paris VII
12.11.2003
Challenge of Computer Mathematics Stirling University
17.10.2003
Vipassana Meditation Leiden University
(Seminar F. Staal) 16.10.2003
Dimensies in het (wiskunde)
onderwijs Nijmeegs Col. Didactiek van de Wiskunde 28.02.2003
Logica en Lambda
Calculus (in Dutch) NWO Spinoza Lecture, 06.02.2003.
paper (Dutch)
Het gebruik van fenomenologie: mathesis en mystiek
KNAW, 16.12.2002.
paper (English)
Mathematician friendly proof-assistants
Buchberger Symposium, Linz, 22.10.2002.
Efficient proofs
(to be viewed
with advi) ICMS, Beijing, 17.8.2002.
Education towards meaning Science et quete de sens, Unesco, Paris,
20.04.2002.
Inhabitation machines (dvi) Edinburgh, Harriot-Watt University, 10.04.2002.
Generation and definability in simply typed lambda calculus
New Orleans, 20.03.2002.
Mindfulness, its use and development
Meeting of OCD sufferers, London, 23.2.2002.