LAC Luitel

GDR IM - Informatique Mathématique
Groupe de travail Logique, Algèbre et Calcul

L'équipe LAC Luitel est répartie entre 2 équipes grenobloises : CAPP au LIG et Casys au LJK.

Membres de l'équipe LAC Luitel :

Sylvain Boulmé (MCF INPG, VERIMAG, SDC) :
Thierry Boy-de-la-tour (CR CNRS, LIG, CAPP) : démonstration automatique, construction de modèles.
Ricardo Caferra (MCF INPG, LIG, CAPP) : démonstration automatique, construction de modèles.
Pierre Corbineau (MCF UJF, VERIMAG, SDC) :
Jean-Guillaume Dumas (MCF UJF, LJK, Casys) : langages orientés objet et modélisation diagrammatique
Dominique Duval (PR UJF, LJK, Casys) : logique diagrammatique pour l'informatique
Rachid Echahed (CR CNRS, LIG, CAPP) : réécriture de termes et de graphes.
Laurent Fousse (MCF UJF, LJK, Casys) : algorithmique, modélisation diagrammatique.
Jean-François Monin (PR UJF, VERIMAG, SDC) :
Nicolas Peltier (CR CNRS, LIG, CAPP) : démonstration automatique, construction de modèles.
Frédéric Prost (MCF UJF, LIG, CAPP) : lambda-calculs, réécriture de graphes.
Jean-Claude Reynaud (IR CNRS à la retraite) : spécifications, applications des catégories à l'informatique.

L'équipe LAC Luitel a organisé la onzième réunion du groupe de travail LAC du GDR-ALP
CALCULS SYMBOLIQUES : calcul formel, réécriture, logique et preuve - CS05
les 15 et 16 décembre 2005 à Grenoble. Programme.

Dominique Duval et François Lamarche ont organisé la journée "Catégories pour l'Informatique"
des groupes de travail GEOCAL et LAC du GDR IM (Villetaneuse 2008)