RESSI 2017 : les Rendez-vous de la Recherche...

Actualités

• ACTUALITÉS
  • Doctorat Honoris Causa UGA pour Moshe Vardi
• Conférences
  • Feb. 24, 2020 Workshop CAPITAL
  • 11-15 mai 2020 AlgoTel et CoRes 2020
  • June 22-26, 2020 MOVEP 2020

Séminaires

• Séminaires
  • 16 décembre 2019 Lélio Brun: Verified compilation of the lustre modular reset
  • 19 décembre 2019 Yannick Zakowski: From representing recursive and impure programs in coq to a modular formal semantics (...)
  • 19 décembre 2019 Hang Yu: Towards an efficient parallel parametric linear programming solver (Phd)
  • 6 février 2020 Jules Chouquet: Lower bounds for probabilistic k-set agreement through combinatorial (...)

Nouvelles publications

• Publications Récentes

Offres d'emploi et stages

• Offres d'emploi et stages

Rubriques

• Verimag
  • Membres
  • Publications
  • Outils
  • Projets
  • Partenaires
  • Colloques et Conférences
  • Séminaires
  • Documents
• Équipes
  • Pacss
  • RSD
  • Synchrone
  • Tempo
• Contact
  • Qui contacter
  • Venir à Verimag
• Plan du site

---

---

• Acces au Batiment