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. »
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. »
