Jobs and Internships

News

Seminars

• Seminars
  • 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
  • 18 January 2019 Chi-hong Cheng: When neural networks meet dependability
  • 21 January 2019 Sergio Yovine: Formal specification and implementation of an automated pattern-based parallel-code (...)
  • 22 January 2019 Georg Struth: Verifying hybrid systems with modal kleene algebra
  • 24 January 2019 Maiza Claire: Wcet and interference analysis for multicore systems
  • 7 February 2019 Jacques Combaz: Assembling components in bip

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