Jobs and Internships

News

• Conferences
  • Feb. 24, 2020 Workshop CAPITAL
  • May 11-15, 2020 AlgoTel et CoRes 2020
  • June 22-26, 2020 MOVEP 2020

Seminars

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

Latest news

• Latest news items
  • 28 December 2019 Doctorat Honoris Causa UGA pour Moshe Vardi

New publications

• Recent Publications

Jobs and internships

• Jobs and internships

Sections

• Verimag
• Teams
  • Synchrone
  • Tempo
  • Pacss
    • Current members
    • Partners
    • Research Topics
    • Publications
    • Projects
    • Tools
    • Jobs and Internships
  • RSD
• Contact
• Site Map

---

---

• Building Access