École d'été internationale en Réécriture

LORIA, Nancy, France
3-7 Juillet 2006

English version
Présentation Thèmes et Intervenants Comité Scientifique Comité d'Organization Lieu d'accueil Logistique Inscription Partenaires
Présentation

La réécriture est un concept et un outil fondamental en informatique, logique et mathématique. Elle modélise la notion de transition ou transformation élémentaire d'entités abstraites et également des structures de données courantes telles que les termes, les strings et les graphes. La réécriture est un thème central aussi bien en calcul qu'en déduction, et est un concept crucial dans la sémantique de langages de programmation et dans la théorie de la preuve. Ces résultats sont issus d'une longue tradition d'échanges entre les communautés de chercheurs en lambda-calcul et raisonnement automatique.

Cette première École d'été internationale en Réécriture est organisée pour les étudiants en Master et en Doctorat, chercheurs et industriels intéressés par l'étude des concepts et applications de la réécriture.

Cette école d'été est parrainée par le groupe de travail IFIP sur la réécriture de termes. Les cours seront dispensés par quelques-uns des meilleurs experts en réécriture (terminaison, systèmes d'ordre supérieur, stratégies,...) et en applications (sécurité, démonstration, analyse de programmes et preuves, ...).

Téléchargez et imprimez le Poster de ISR'2006! (en format AI/PDF, 3.3Mo)

Thèmes et Intervenants
Les thèmes abordés lors de cete école sont listés ci-dessous. Le programme détaillé est disponible ici: isr2006_programme.pdf.

Thèmes de base:

Applications: Thèmes Avancés:

Comité Scientifique

Comité d'organisation

Mél.: isr2006 [at] loria * fr

Lieu d'accueil

L'école aura lieu au LORIA, à Nancy (France). Facilement accessible par train depuis Paris, Francfort, Strasbourg et Luxembourg, villes possédant des aéroports internationaux.

Consultez également les informations sur la Logistique.

Inscription

Pour l'inscription, veuillez télécharger, remplir et renvoyer le formulaire ci-dessous au numéro de fax indiqué.

Formulaire d'inscription (en format PDF)

Formulaire d'inscription (en format RTF)

Attention, la date limite de l'inscription avec réduction est fixée au: 31 mai 2006 (trop tard!).
Date limite d'inscription au tarif normal: 23 juin 2006.

Partenaires

IFIP France Telecom R&D Axalto SAP
LORIA INRIA CNRS
Nancy 2 UHP INPL
Conseil Régional CUGN
Nancy

Le logo d'ISR'2006 a été crée par Franz Kirchner.
Dernère mise-à-jour le 26 juillet 2006