Onzième réunion du groupe de travail Logique, Algèbre et Calcul
du GDR Algorithmique, Langage et Programmation

Avec le soutien de l'IMAG

CALCULS SYMBOLIQUES :
     calcul formel, réécriture, logique et preuve

les 15 et 16 décembre 2005
à Grenoble Maison Jean Kuntzmann

Inscription
Accès et hébergement
Participants


Programme

Résumés


Jeudi 15 décembre


Vendredi 16 décembre