Dans le cadre de l'ACI Geocal, on se rencontrera le jeudi 17 et le vendredi 18 juin 2004 au CIRM de Marseille (salle de la Chapelle) pour discuter de tous ce qui concerne les systèmes formels (dynamique des calculs, élimination de coupures, puissance expressive, etc. ) ayant :
Informations pratiques/practical informations:
Si vous êtes intéressés à participer, envoyez moi un émail (modifier l'adresse comme évident) avec votre nom, prénom, affiliation, et adresse électronique.