News
Seminars
- Seminars
- 17 January 2019 Paolo Torrini: Reifying and translating a monadic fragment of gallina
- 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
