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.

 

Illustration des activités M2F

 

The M2F department is structured around four teams (LX / MTV / RATIO / 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.

 [annuaire:department:20]