Sites Inria

English version

Théorie de la réécriture

École internationale d'été en réécriture, ISR 2019

La 11ème édition de l’École internationale en réécriture se tiendra du 1er eu 6 juillet 2019 à Paris. Organisée par Inria et les MINES ParisTech, elle s’adresse aux étudiants en master, doctorants et chercheurs intéressés par les concepts de la théorie de la réécriture et leurs applications.

  • Date : 1/07/2019 au 6/07/2019
  • Lieu : MINES ParisTech
  • Organisateur(s) : Inria et MINES ParisTech

"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. "

ISR 2006

Au programme 

Deux parcours (tracks ) seront proposés en parallèle pendant une semaine :

  • Une track basique sera consacrée à l’introduction à la théorie de la réécriture et au lambda-calcul. 
  • Une track avancée abordera en profondeur la théorie de la réécriture.

Conférences et intervenants

La liste des intervenants et des conférences est consultable sur le site d'ISR 2019

Inscription

Ouverture des inscriptions en mars.

Organisateurs

  • Frédéric Blanqui (Inria, équipe Deducteam, LSV et ENS Paris-Saclay)
  • Olivier Hermant (MINES ParisTech)

A propos de l'école

ISR est une émanation du groupe de travail 1.6 de la International Federation for Information Processing (IFIP). Les précédentes éditions ont eu lieu en 2006 et 2007 à Nancy, en 2008 à Obergurgl, en 2009 à Brasilia, en 2010 à Utrecht, en 2012 à Valence, en 2014 à Valparaiso, en 2015 à Leipzig, en 2017 à Eindhoven, et en 2018 à Cali.

Retrouvez plus d'informations sur les écoles antérieures en cliquant ici.

Mots-clés : Preuve Raisonnement automatique Calcul Réécriture

Haut de page

Suivez Inria