Dernière réunion du projet CARAML - 19 novembre 2004 au LIFO

Présents

F. Loulergue(LACL), F. Gava(LACL), Z. Li (PPS), M. Bamha (LIFO), M. Exbrayat (LIFO), A. Merlin (LIFO), G. Hains (LIFO).

Exposés sur l'état d'avancement et le bilan scientifique de chaque action du projet

• Primitives, sémantique, bibliothèques, performance (LACL),
• Programmation haut-niveau pour tableaux et applications (PPS/INRIA),
• PDB Requêtes relationnelles dans un contexte GRID (LIFO),
• BSPA Sémantique et vérification de systèmes globalisés (LIFO).

Bilan résultats au 19/11/2004

1. Publications
   • 7 publications en revue
   • 19 confs et workshops internationaux
   • 3 confs nationales
   • 2 thèses de doctorat (et 3 en cours F. Gava, P.Courtois, Z. Li)
   • 1 mémoire HDR (F. Loulergue)
   • 8 mémoires Bac+4,5
2. Bibliothèques: PDBML, MSPML, CamlFlight, OcamlP3L, BSMLlib, BSFC++, BSMLCoq (dont certaines sont des nouvelles versions pour BSP+ML de bibliothèques préexistantes), et bientôt DMML meta-computing.
3. ACI Jeune chercheur PROPAC, F. Loulergue, 2004-7.
4. Bourse de stage à l'Univ Pise pour Z. Li (4-7/2004).
5. Organisation de workshops internationaux: HLPP2003(Paris), PAPP2004 (Cracovie), PAPP2005(Atlanta), HLPP2005(Warwick) avec numéros spéciaux de revues internationales associés.

Futures actions extra-CARAML

• PAI ALLIANCE F. Loulergue - A. Tiskin (Warwick) demandée pour 2005
• Projet Sakura F. Loulergue - Zhenjian Hu (Tokyo U.) demandé pour 2005
• Collaboration LIFO - LVR (labo vision-robotique) sur modélisation d'un système de réalité virtuelle pour la nano-manipulation
• Extension de la grappe de PC LACL en collaboration avec le labo BBOA (biologie osseuse et articulaire) Créteil
• Au LIFO application des mêmes modèles à la vérification de propriétés (projet Fr-Québec avec Montréal, ACI-SI SATIN avec Nancy, Rennes, Besançon)

Futures collaborations intra-CARAML

Interactions thématiques entre LACL et PPS pour cette application et entre LACL et LIFO pour la modélisation. Utilisation d'Ocaml par toutes les équipes.