28/09/11: FIRST ETERNAL WORKSHOP, INRIA PIR2 SITE, PARIS.

9.30-10.15 UGO DAL LAGO. The ETERNAL Project: Background and Objectives.
10.15-11.00 CLAUDIO SACERDOTI COEN. The CerCo Project: Background, Objectives, Main ideas.
11.00-11.30 Coffee Break.
11.30-12.30 MARCO GABOARDI. A Linear Dependent Type System for Interactive Resource Analysis.
12.30-14.00 Lunch.
14.00-15.00 JEAN-CHRISTOPHE FILLIATRE (INVITED SPEAKER). Deductive Program Verification with Why3.
15.00-15.45 BARBARA PETIT. A type system for the lambda calculus with constructors.
15.45-16.15 Coffee Break.
16.15-17.15 KAUSTUV CHAUDHURI. The Abella Proof Assistant: Background, Applications, and Future Directions
17.15-18.00 LUTZ STRASSBURGER. Label-Free Deductive Systems for Intuitionistic Modal Logics.