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