Thursday 17, afternoon. Types and typing, categories and coalgebras.

14h00: Paul-André Mellies, PPS, Centre de Mathématiques de Jussieu: Recursive polymorphic types and parametricity in an operational framework. Abstract.

14h55: Fernando Pastawski, INRIA: Annotation inference for type-based termination. Abstract.

15h40: Coffe break.

15h50: Tarmo Uustalu, Institute of Cybernetics, Tallinn University of Technology: Build, augment, and destroy, universally. Abstract.

16h50: Albert Burroni, Centre de Mathématiques de Jussieu: Récursivité et corécursivité formelle graphique (formal graphical recursivity and co-recursivity). Abstract.

17h50: Robin Cockett, University of Calgary: Processes, circular proofs, protocols, and categorical datatypes. Abstract.

20h00, dinner, somewhere in Marseille.

Friday 18, morning. Logical frameworks, logics.

9h00: Dale Miller, INRIA-Futurs & LIX: An overview of a proof-theoretic approach to definitions. Abstract.

10h00: Coffe break.

10h30: Alwen Tiu, École polytechnique, Penn State University: A logical framework for reasoning about logical specifications, joint work with Alberto Momigliano and Dale Miller. Abstract.

11h30: Elaine Pimentel, Universidade Federal de Minas Gerais, Università di Torino: Linear Logic with induction and definition. Abstract.

12h30: Lunch.

Friday 18, afternoon.

14h00: Alberto Momigliano, University of Edinburgh: An overview of logical frameworks with higher-order abstract syntax and (co)induction.

15h00: ? Robin Cockett's talk moved here ?

16h00: Coffe break.

16h20: Marino Miculan, Department of Mathematics and Computer Science, Universitá di Udine: Unifying recursive and co-recursive definitions. Abstract.

17h20: Luigi Santocanale, Université de Provence: On the strength of the last rule in the modal mu-calculus. Abstract.