Formal Methods and Models
Heads of departement : Hugo Gimbert and Antoine Rollet
Research in the M2F department encompasses several topics, including the foundations of formal methods (automata, logic, verification), the transformation of data to formal models (learning, symbolic methods) and their applications to robotics, computational neurosciences and intelligent transportation systems.
The M2F department is structured around four teams (LX / MTV / RATIO / DART). These teams adress the following themes:
Seminars and working groups
The seminar of the M2F department occurs every two weeks, and on top of that every team has one or several working groups.
The agenda lists all related events. You can get your agenda sync using the ical link.
- Seminar of the M2F department
- RATIO group meetings
- MTV group meetings
- LX group meetings
- R4 seminar
- Mnemosyne group meetings
- COQ working group
[annuaire:department:20]