 |
Cours et Colloques |
Contact:
symposia@inria.fr
JFLA 2007
27-30 janvier 2007 Aix-les-Bains
Programme JFLA 2007
Arrivée : 27 janvier 2007
Premier jour : 27 janvier 2007
- 15h00 - 15h30 : Accueil - Présentation
- 15h30 - 17h00 : Cours
Programmation Synchrone Fonctionnelle
par Marc Pouzet
- 17h00 - 17h30 : Pause-café
- 17h30 - 19h00 : Cours
Techniques de réécriture et transformations
par Horatiu Cirstea et Antoine Reilles
- 19h00 : Dîner
Deuxième jour : 28 janvier 2007
- 09h00 - 10h30 : Cours
Programmation Synchrone Fonctionnelle
par Marc Pouzet
- 10h30 - 11h00 : Pause-café
- 11h00 - 12h30 : Cours
Techniques de réécriture et transformations
par Horatiu Cirstea et Antoine Reilles
- 12h30 - 14h00 : Déjeuner
- 14h00 - 18h00 : Excursion - Promenade
- 18h30 - 19h00 : Mini-cours
Apéro-Réflexion
par Jean-François Monin
- 19h00 : Dîner
Troisième jour : 29 janvier 2007
- 09h00 - 10h00 : Conférence invitée
Satisfaction modulo théories : application à la vérification de règles
métiers par contraintes
Hassan Aït Kaci (ILOG)
travail réalisé avec Bruno Berstel (ILOG), Ulrich Junker (ILOG),
Michel Leconte (ILOG) et Andreas Podelski (Université de Fribourg)
- 10h00 - 10h30 : Pause-café
- 10h30 - 11h00 :
Arithmétique réelle exacte certifiée, co-induction et base arbitraire
Nicolas Julien
- 11h00 - 11h30 :
Définition et preuve d'un algorithme fonctionnel de segmentation d'image
basé sur les hypercartes
Jean-François Dufourd
- 11h30 - 12h00 :
Utilisation en Coq de l'opérateur de description
Pierre Casteran
- 12h00 - 14h00 : Déjeuner
- 14h00 - 14h30 :
Gestion de versions de formats avec Camlp4
Fabrice Le Fessant
- 14h30 - 15h00 :
Couverture de code Caml pour la réalisation d'outils de développement certifiés
Bruno Pagano, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço et Philippe Wang
- 15h00 - 15h30 :
Un programme annoté en vaut deux
Alain Giorgetti et Julien Groslambert
- 15h30 - 16h00 : Pause-café
- 16h00 - 16h30 :
Erasure and Duplication in Classical Computation
Dragisa Zunic et Pierre Lescanne
- 16h30 - 17h00 :
Décurryfication certifiée
Zaynah Dargaye
- 17h00 - 18h30 : Démonstrations
- 19h00 : Dîner
Quatrième jour : 30 janvier 2007
- 09h00 - 10h00 : Conférence invitée
Operating Systems in Haskell: Implementations, Models, and Proofs
Andrew Tolmach (projet Gallium, INRIA Rocquencourt)
- 10h00 - 10h30 : Pause-café
- 10h30 - 11h00 : Union-Find Persistant
Sylvain Conchon et Jean-Christophe Filliâtre
- 11h00 - 11h30 :
Les modèles classiques de conception objet vus par la programmation ML
Philippe Narbel
- 11h30 - 12h00 : Bilan et clôture des journées
- 12h00 - 13h30 : Déjeuner
Pour tout renseignement, contacter
Gaelle Dorkeld
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2007)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : symposia@inria.fr
http://jfla.inria.fr/2007/
Pour toutes remarques d'ordre général ou technique concernant
cette page, écrire à Pierre.Weis@inria.fr.
Conception et mise au point: Pierre Weis.
Copyright
1996 - 2005 INRIA, tous droits réservés.
Powered by Caml
