Jobs and Internships

News

Seminars

• Seminars
  • 17 December 2018 Nikolaos Kekatos: Formal verification of cyber-physical systems in the industrial model-based design (...) (Phd)
  • 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
  • 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
  • 31 January 2019 Jacques Combaz: Assembling components in bip

New publications

• Recent Publications

Jobs and internships

• Jobs and internships

Sections

• Verimag
  • Members
  • Publications
  • Tools
  • Projects
  • Partners
  • Workshops and Conferences
  • Seminars
  • Documents
• Teams
• Contact
• Site Map

• Building Access