ISR'2007 aura lieu au LORIA, Nancy, France, du 2 au 6 juillet 2007, la semaine suivant RDP 2007, la conférence fédérative sur la réécriture, la déduction et la programmation.
Inscriptions closes.
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.
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, ...).