10.15 Francois Fages: The biochemical abstract machine BIOCHAM
11.00 break
11.15 Christine Paulin-Mohring: Krakatoa : from type theory to certification of Java programs
12.00 Lunch
13.30 Thierry Coquand: Newman's lemma and geometric logic
14.15 break
14.30 Aarne Ranta: Syntax Editing in the Zipper
15.15 Coffee
15.45 Gerard Huet: Computational Linguistics from Zen to AuM.

The workshop will take place on Friday 21 May in Villan (map)