Dominique Mery -

Registered user since Fri 3 Mar 2023

Name:Dominique Mery

Country:France

Affiliation:Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France

Personal website: http://members.loria.fr/Mery

Contributions

2026

FM

Session Chair of ABZ Session 1: Concurrent and Distributed Systems (part of ABZ)
Session Chair of ABZ Session 1: Concurrent and Distributed Systems (part of ABZ)
Speaker of Systematic Development of Distributed Algorithms using Event-B - Experiences, reviews and prospects - within the ABZ-track

2024

WADT

Committee Member in Programme Committee

N40AI

Speaker of Short talks: Past, Present and Future of AI within the N40AI 2024-track

2023

HEDA

Committee Member in Program Committee within the HEDA-track

2022

APSEC

Author of Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours within the Technical Track-track