Agenda partagé

Du 1 au 6 juillet 2019

11th ISR 2019

11e édition de l’École internationale en réécriture

11th ISR 2019

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.

> Télécharger le programme

Lieu : MINES ParisTech, 60, boulevard Saint-Michel - Paris
Contact : Olivier Hermant

> plus d'informations sur le site dédié International Summer School on Rewriting 2019 - Mines Paris - PSL

Voir tous les événements

Partager

actualité

240 ans de recherche et de formation

Ecole 240 ans de recherche et de formation Vidéo : 240ans de recherche…
> En savoir +

Samuel Forest, élu membre de l’Académie des Sciences

Formation Samuel Forest, élu membre de l’Académie des… Samuel Forest lors de sa réception à…
> En savoir +

Mines Paris plébiscitée par ses étudiantes

Formation Mines Paris plébiscitée par ses étudiantes Mines Paris - PSL, une école qui répond…
> En savoir +

Corentin Gombert, prix de thèse de l’ARIMHE

Formation Corentin Gombert, prix de thèse de l’ARIMHE Corentin Gombert, doctorant au CGS Mines Paris - PSL, lors de…
> En savoir +

L'analyse d'images pour une médecine personnalisée du cancer du sein

Formation L'analyse d'images pour une médecine personnalisée du… L'interprétation des prédictions des…
> En savoir +

Femmes de science

Formation Femmes de science Chercheuses confirmées, doctorantes, élèves ou alumni,…
> En savoir +

+ Toutes les actualités

téléchargement

découverte

 

Voir l'agenda des formations et autres actualités

 

Consultez régulièrement les offres de formation

p_l_a_n_d_u_s_i_t_e
Mentions légales efil.fr © 2014 Mines Paris - PSL