People

Gilles Dowek, Chantal Keller, Germain Faure, Clément Houtman, Alberto Naibo, Olivier Hermant, Sylvain Salvati, Guillaume Burel, Cody Roux, Maxime Denes, Denis Cousineau, Mathieu Boesflug, Paul Brauner, Claude Kirchner.

Schedulling

10h30 -> 12h00 Sylvain Salvati: Reconnaissabilité dans le lambda-calcul simplement typé et ses applications au filtrage en particulier
12h00 -> 13h00 Germain Faure: About the modulo in Deduction Modulo and Satisfiabilité Modulo Theories

14h30 -> 16h00 Gilles Dowek: Le pouvoir expressif des schémas" (travail commun avec Ying Jiang)

16h00 -> 16h30 Cody Roux: Dedukti : rewriting and termination in a depently typed framework

16h30 -> 17h30 Mathieu Boesflug : Vers un métavérificateur étagé

Open discussions. Séjour Val d'Ajol.