onzième réunion du groupe de travail LAC du GDR-ALP

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

les 15 et 16 décembre 2005
à Grenoble

Inscription

L'inscription est gratuite, seuls les repas de midi sont à régler (avant le 3 décembre).

Une participation de 15 € pour chaque déjeuner (30 € pour les deux) est à régler avant le 3 décembre, de préférence par bon de commande adressé à :
UJF- Laboratoire de Modélisation et Calcul (LMC-IMAG)
51, Rue des Mathématiques
Domaine Universitaire de Saint-Martin d'Hères
BP 53
38041 Grenoble Cedex

Fiche à remplir et à envoyer à l'adresse colloque-capp-lmc@imag.fr
Prénom NOM :
Adresse postale :
Adresse mél :
Date d'arrivée :
Date de départ :

Pour contacter le secrétariat :
Juana Dos Santos     Juana.Dos-Santos@imag.fr     04 76 51 49 93,