Events
As a final event, I organized together with Marco Panza (IHPST, Paris) the workshop `Functions, Proofs, Constructions'.
It took place in Tübingen, 21-23 Febriary 2014.
A report on the workshop was published on the Reasoner 8(4): 40-41 in April 2014 (you can find it here).