Verimag News

News

  • CADE-24 Skolem Award
  • Test-of-time award for CADP

    ETAPS 2023 awarded its “test-of-time tool award” to the CADP toolbox, which used to be developed at Verimag.

Seminars

  • In 3 days, Basile Pesin (Inria PARKAS - ENS-Ulm) on 8 June 2023 at 14h00 : « Verifying a compiler for a synchronous dataflow language with state machines in Coq »
  • In 4 days, Jean-Luc Scharbarg (IRIT) on 9 June 2023 at 10h00 : « Trends in real-time embedded networks: towards TSN »
  • In 4 days, claire maiza (GrenobleINP/ Ensimag, Verimag) on 9 June 2023 at 15h00 : « Hardware and software analyses for precise and efficient timing analysis » (HDR)
  • In 3 weeks, Sayan Mitra (University of Illinois Urbana-Champaign ) on 30 June 2023 at 14h00 : « Assuring Safety of Learning-Enabled Systems with Perception Contracts.  »