La réécriture est un modèle de calcul et une technique de preuve très puissante à la base de plusieurs langages de programmation ou outils de démonstration. Elle est très utilisée en calcul symbolique, mathématiques, démonstration automatique et assistée, vérification de protocoles cryptographiques, model checking, théorie des langages et automates, modèles d’évolution de systèmes chimiques ou biologiques, ingénierie logicielle, etc.
Inria et MINES ParisTech proposent aux étudiants et chercheurs de se former aux outils de base de ce modèle de calcul et de découvrir la multiplicité de ses domaines d’application.
Lieu : MINES ParisTech, 60, boulevard Saint-Michel - Paris
Contact : Olivier Hermant
Ecole
240 ans de recherche et de formation
Vidéo : 240ans de recherche
> En savoir +
Formation
Samuel Forest, élu membre de l’Académie des
Samuel Forest lors de sa réception à
> En savoir +
Formation
Mines Paris plébiscitée par ses étudiantes
Mines Paris - PSL, une école qui répond
> En savoir +
Formation
Corentin Gombert, prix de thèse de l’ARIMHE
Corentin Gombert, doctorant au CGS Mines Paris - PSL, lors de
> En savoir +
Formation
L'analyse d'images pour une médecine personnalisée du
L'interprétation des prédictions des
> En savoir +
Formation
Femmes de science
Chercheuses confirmées, doctorantes, élèves ou alumni,
> En savoir +
Voir l'agenda des formations et autres actualités
Consultez régulièrement les offres de formation