Search

Heads of departement : Hugo Gimbert and Antoine Rollet Research in the M2F department encompasses several topics, including the foundations of formal