Annual workshops with invited speakers
Other events
Seminars
Torrents seminars are organized within the seminar series on software verification (
see here).
- Past talks:
- Dec. 16: Fabian Vargas (PUCRS, Brazil) - Design of On-Chip Cores and Sensors to Improve Embedded System Reliability
Read more ...
- Nov. 14: Janette Cardoso (ISAE/DMIA, Toulouse) - Ptolemy et la modélisation de systèmes cyber-physiques
Read more ...
- Nov. 21: Patricia Derler (Univ. of Berkeley, USA) - Ptides: A Model-based Design Approach for Deterministic, Event-driven Real-time Applications
Read more ...
- Nov. 22: Denis Claraz (Continental Automotive France SAS Powertrain Engine Systems) - Handling of Engine Management real-time architecture at Continental Automotive
Read more ...
- Sept. 27: Florian Kluge (Univ. of Augsburg, Germany) - Real-Time Operating Systems for ManyCore Processors
Read more ...