avec abstracts

Programme

Jeudi 24 Novembre 2011

Amphi Monge

10:00-10:30 Café
10:30-11:20 Rachid Echahed Three approaches to Graph Transformations: Algorithmic, Algebraic and Logic
11:20-11:50 Pause
11:50-12:15 Damiano Mazza Metrics on lambda-terms
12:15-12:40 Patrick Baillot Elementary linear logic revisited for polynomial time and an exponential time hierarchy
12:40-14:10 Déjeuner
14:10-14:35 Andreatta Moreno / Louis Bigo / Jean-Louis Giavitto / Antoine Spicher / Carlos Agon Outils algébriques et représentations géométriques en musicologie computationnelle : le paradigme de la programmation spatiale et ses applications en informatique musicale
14:35-15:00 Pierre Lescanne Church à la Catalan ou l'art de compter les /\-termes : la recette de de Bruijn
15:00-15:30 Pause
15:30-15:55 Nicolas Guenot Nested Typing for a lambda-calculus with Sharing
15:55-16:20 Anupam Das Proof Compression Mechanisms and Deep Inference
16:20-16:30 Pause
16:30-16:55 Thibaut Balabonski Optimal graphs without graphs for a lambda-calculus without lambda
16:55-17:20 Guillaume Burel From Axioms to Rewriting Rules

Vendredi 25 Novembre 2011

Amphi Poisson le matin, amphi Carnot l'après-midi.

9:00-9:20 Café
9:20-10:10 Jean-Louis Krivine Logique combinatoire et modèles de ZF
10:10-10:40 Pause
10:40-11:05 Hugo Herbelin Prouver avec des effets de bord: quelques exemples
11:05-11:30 Beniamino Accattoli Call-by-value solvability, revisited (Joint work with Luca Paolini)
11:30-12:00 Pause
12:00-12:25 Tristan Crolard An environment machine for functional coroutines
12:25-12:55 Thanos Tsouanas Game semantics for disjuncive logic programs
12:55-14:20 Déjeuner
14:20-14:45 Giuseppe Castagna Set-theoretic Parametric Polymorphism and Subtyping
14:45-15:10 Luca Padovani Fair Subtyping for Multi-Party Session Types
15:10-15:40 Pause
15:40-16:05 Cyril Cohen A construction of the discrete field of real algebraic numbers in Coq
16:05-16:30 David Baelde Formal Proofs of Robustness for Watermarking Algorithms