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).