Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair
Member of the Organizing Committees

Organisation of Dagstuhl Seminar 18211 Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance, by Javier Esparza (TUM, Munick, Germany), Pierre Fraigniaud (IRIF and Inria GANG, Paris, France), Anca Muscholl (LaBRI, Bordeaux, France), and Sergio Rajsbaum (UNAM, Mexico, Mexique).

Chair of Conference Program Committees
Steering Committee Member
Member of the Conference Program Committees


Member of the Editorial Boards
Editors of a special issue

Invited Talks

Scientific Expertise

Research Administration