|
E-mail/Courrier Electronique: Dominique Mery "at" loria "dot" fr Dominique Mery "at" free "dot".fr Snail/Courrier Escargot: Dominique Méry LORIA & Université Henri Poincaré Nancy 1 BP 239 F-54506 Vandoeuvre lès Nancy France
|
Useful Links/ Liens utiles
- SEFM 2010 The eighth IEEE International Conference on Software Engineering and Formal Methods SEFM 2010. Abstract submission 22 March, 2010 and Paper submission 29 March, 2010.
- Informations for the Doctoral School IAEM Lorraine. Inquiries to diriaem "at" uhp-nancy "dot" fr
- EventB Web Page
- Projects for students of ESIAL
- Logics of Specification Languages appears in the Series: Monographs in Theoretical Computer Science. An EATCS Series Bjorner, Dines; Henson, Martin C. (Eds.) . A chapter on Event B is cowritten by Dominique Cansell and Dominique Méry.
- Project RIMEL on refinement of event systems and applications to distributed algorithms and system engineering
- Professor of Computing Science at Université Henri Poincaré- Nancy 1 and Ecole Supérieure d'Informatique et Applications de Lorraine
- Former Member of the Institut Universitaire de France (1995-2000) .
- Leader of the research group MOSEL in the UMR no 7503 LORIA laboratory.
- ESIAL Relations Internationales
Topics |
Selected Publications |
.... |
Lectures/Cours |
Cooperation |
Album |
 Requests to Dominique dot Méry at loria dot fr |