Search

Formal Methods and Models

Heads of departement : Laurent Bienvenu and Antoine Rollet Research in the M2F department encompasses several topics, including the foundations of

The third webinar in the 2026 Open Science Café series will take place on March 18, 2026, from 12:30 p.m. to 1 p.m. The topic this time will be:

Team leader: Pierre Bénard - deputy : Fabien Lotte We design capture, display and multimodal interaction systems, and we study human-machine