Retrouvez nos coordonnées
sur la page
Informations pratiques
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
International
Un docteur CRI à UCL avec la ministre de l'ESR
Robin Le Conte des Floris, jeune docteur de la thèse…
> En savoir +
Formation
Séminaire HPC / thèse à Rabat
Claude Tadonki, enseignant-chercheur au CRI, a…
> En savoir +
Formation
CloudTech au Maroc
Claude Tadonki, enseignant-chercheur au Centre de recherche en informatique…
> En savoir +
Formation
Samuel Forest, élu membre de l’Académie des…
Samuel Forest lors de sa réception à…
> En savoir +
Formation
Les politiques publiques doivent-elles sauver des…
Photo de Andre Taissin sur Unsplash François…
> En savoir +
Formation
Prix TTI.5 de la controverse environnementale
Le 31 mai, à la Maison de l’Océan à…
> En savoir +
