PROGRAMME GEOCAL-LAC 2010 - NICE
	================================

LUNDI

10:00 - 10:30 acceuil + cafe
10:30 - 11:30 tutorial Miquel : Realisabilite
11:30 - 12:15 expose 45' Mellies : Segal condition meets computational monads

12:15 - 14:00 dejeuner

14:00 - 14:30 expose 30' Frey : Dc-categories and the tripos-to-topos construction
14:30 - 15:00 expose 30' Lafont : Reecriture de diagrammes
15:00 - 15:30 expose 30' Rannou : Sigma-diagrammes et cooperations
15:30 - 16:00 pause cafe
16:00 - 16:45 expose 45' Roux : Dependent types as higher order dependency pairs
16:45 - 17:15 expose 30' Acciattoli : The structural lambda-calculus

	Diner: Restaurant "L'Union", Rue Michelet, Nice


MARDI

9:00 - 10:00 orateur invite Ronchi Della Rocca : Linearity, non-determinism and solvability
10:00 - 10:30 pause cafe
10:30 - 11:15 expose 45' Guglielmi : Geometric normalisation with atomic flows
11:15 - 12:00 expose 45' Gundersen : Breaking paths in atomic flows for classical logic

12:00 - 14:00 dejeuner

14:00 - 14:30 expose 30' Diaz-Caro : A vectorial System F
14:30 - 15:00 expose 30' Balabonski : Sharing and pattern matching
15:00 - 15:30 expose 30' Bourdier / Cirstea : Constrained rewriting in recognizable theories
15:30 - 16:00 pause cafe
16:00 - 16:45 expose 45' Strassburger : Extension without cut
16:45 - 17:30 expose 45' Zeilberger : Polarity and the logic of delimited continuations


MERCREDI

9:00 -  9:30 expose 30' Valiron : Lambda-calcul algebrique, points fixes et modeles
9:30 - 10:00 expose 30' Laurent : Realisabilite pour les jeux
10:00 - 10:30 pause cafe
10:30 - 11:15 expose 45' Keller : Importation de HOL-light dans Coq
11:15 - 12:00 expose 45' Lamarche : Le predicat d'identite de Martin-Lof et l'espace des chemins en homotopie

12:00 - 14:00 dejeuner

14:00 - 14:30 expose 30' Renauld : Le prisme des resources
14:30 - 15:00 expose 30' Demangeon : Terminaison dans les languages foncionnels impurs
15:00 - 15:30 expose 30' Zsido : Typed abstract syntax
15:30 - 16:00 pause cafe
16:00 - 16:30 expose 30' Hirschowitz : Algebraic structures from shapes
16:30 - 17:00 expose 30' Herbelin : Une logique intuitionniste qui prouve le principe de Markov