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 (synthesis by learning and symbolic methods) and their applications to robotics, computational neurosciences and intelligent transportation systems.
The M2F department is structured around five teams (LX / MTV / RATIO / DART / 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]
Contacts