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 (synthesis by learning and symbolic methods) and their applications to robotics, computational neurosciences and intelligent transportation systems.


Illustration des activités M2F


The M2F department is structured around five teams (LX / MTV / RATIO / DART / DART). These teams adress the following themes:

M2F - teams

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.