JFLA 2001 : les actes
Lundi 29 Janvier
Conférence invitée, par Gilles Dowek
Articuler raisonnement et calcul (en déduction modulo) : jusqu'où
peut-on aller ?
les transparents
Les exposés
- Changement de représentation des structures de données en Coq: le
cas des entiers naturels
Nicolas Magaud, Yves Bertot (Inria Sophia)
le postscript
- Une formalisation des faisceaux et des schémas affines en
théorie des types avec Coq
Laurent Chicli (Inria Sophia)
le postscript
- Field, une procédure de décision pour les nombres réels en Coq
David Delahaye, Micaela Mayero (Inria Rocquencourt, logiCal)
le postscript
- Extraction dans le Calcul des Constructions Inductives
Loic Pottier (Inria Sophia)
le postscript
- Prototype d'interface utilisateur de la librairie FOC
Virgile Prevosto (LIP6)
le postscript
Mardi 30 Janvier
Conférence invitée, par Christian Queinnec
Du bon usage des continuations pour la programmation de serveurs ouèbe
les transparents
Les exposés
- Generic Polymorphism in ML
Jun Furuse (Inria Rocquencourt)
le postscript
- On the semantics of non-interference type-based analysis
Frédéric Prost (IMAG)
le postscript
- Causalité modulaire dans un langage de flots synchrone
Pascal Cuoq, Marc Pouzet (Inria Rocquencourt, LIP6)
le postscript
- Programmation fonctionnelle et XML: PaX
Didier Plaindoux
le postscript
- Calcul des adjoints et programmation paresseuse
Jerzy Karczmarczuk (Université de Caen)
le postscript