maître de conférencesCNU : SECTION 27 - INFORMATIQUE
- Laboratoire / équipe
- Composantes, facultés
Domaines de recherche
Real-time, embedded, critical systems, formal methods, synchronous languages
Détail d'une actualité
Call for papers RTNS2021
I am a PC member of the RTNS2021 conference. Please consider submitting your contribution.
RTNS is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. The current plan is for the conference to be delivered in a hybrid manner, with a mix of physical (at the University of Nantes, France) and virtual presentations, however due to COVID-19 the conference may have to move to fully virtual.