Preceeding the farewell lecture on 01.10.2015 of Henk Barendregt as chair Foundations of Mathematics and Computer Science at Radboud University, Nijmegen, there was a symposium ‘Detachment: mathematics and meditation’.
Location: Stevenskerk, Sint Stevenskerkhof 62, 6511 VZ Nijmegen, The Netherlands.

09:30 Arrival
10:00 Jan Willem Klop (Vrije Universiteit, Centrum voor Wiskunde en Informatica)
Clocks, black holes and white holes in the lambda calculus
11:00 Break
11:30 Georges Gonthier 
Coding theorems: the hidden language of mathematics
12:30 Lunch
13:30 Marieke van Vugt (Rijksuniversiteit Groningen)
Computation as a tool to understand meditation:
detailed investigations of cognitive mechanisms involved in meditation

14:30 Break
15:45 Henk Barendregt Farewell lecture (in Dutch, English handout)
Keys to two intimacies: Mathesis and Mysticism
The lecture will be surrounded by music of SchoonenbeekStravinsky and Militello
16:45 Speeches: Dean Stan Gielen, Proximus Herman Geuvers, PhD Luís Cruz-Filipe.
17:00 Handing a Liber Amicorum to Henk Barendregt
17:10 Reception