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.