Programme des JFLA'2001

29 - 30 janvier 2001 Pontarlier (France)

Dimanche 28 janvier 2001

• 18h00 - 20h00 Accueil
• 20h00 Dîner

Lundi 29 janvier 2001

• 8h30 Accueil - Présentation
• 9h00 - 10h00 Conférence invitée
  Articuler raisonnement et calcul (en déduction modulo) : jusqu'où peut-on aller ?
  Gilles Dowek (Projet Coq, Inria Rocquencourt)
• 10h00 - 10h30 Pause-café
• 10h30 - 11h00 Changement de représentation des structures de données en Coq: le cas des entiers naturels
  Nicolas Magaud, Yves Bertot (Inria Sophia)
• 11h00 - 11h30 Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq
  Laurent Chicli (Inria Sophia)
• 11h30 - 12h00 Field, une procédure de décision pour les nombres réels en Coq
  David Delahaye, Micaela Mayero (Inria Rocquencourt, logiCal)
• 12h00 - 16h00 Déjeuner et excursion
• 16h00 - 16h30 Extraction dans le Calcul des Constructions inductives
  Loic Pottier (Inria Sophia)
• 16h30 - 17h00 Prototype d'interface utilisateur de la librairie FOC
  Virgile Prevosto (LIP6)
• 17h00 - 17h30 Pause café
• 17h30 - 18h00 Table ronde sur le thème Les techniques liées à la programmation applicative, et leur application en milieu/à l'échelle industrielle.
  Animée par Jean-François Monin

Mardi 30 janvier 2001

• 9h00 - 10h00 Conférence invitée Du bon usage des continuations pour la programmation de serveurs ouèbe
  Christian Queinnec (LIP6)
• 10h00 Pause-café
• 10h30 - 11h00 Generic Polymorphism in ML
  Jun Furuse (Inria Rocquencourt)
• 11h00 - 11h30 On the semantics of non-interference type-based analysis

Frédéric Prost (IMAG)
• 11h30 - 12h00 Causalité modulaire dans un langage de flots synchrone

Pascal Cuoq (INRIA), Marc Pouzet (LIP6)
• 12h00 Déjeuner
• 14h00 - 14h30 Programmation fonctionnelle et XML: PaX
  D. Plaindoux
• 14h30 - 15h00 Calcul des adjoints et programmation paresseuse
  J. Karczmarczuk (Université de Caen)
• 15h00 - 15h30 Pause café
• 15h30 - 17h00 Démonstrations
• 17h00 Fin des Journées