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

Accès et hébergement



Adresse :
Maison Jean Kuntzmann
110 avenue de la Chimie
Domaine Universitaire
Saint Martin d'Hères - France

Tram :
ligne B station "Universités" (direct depuis la gare)

Plans du campus :
voir ici

Hébergement :
Voici trois hôtels situés à proximité de la gare de Grenoble :
Pour d'autres hôtels, vous pouvez contacter l'office de tourisme de Grenoble.