[1] | Jasmin Christian Blanchette. Professor, associate member. University of Amsterdam, now LMU Munich, Office Bureau. |
[2] | Horatiu Cirstea. Professeur, head of formal methods department. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: horatiu.cirstea@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 204. |
[3] | Marie Duflot-Kremer. Maître de conférences. Université de Lorraine at FST Nancy, Office Bureau 208. |
[4] | Didier Fass. Professeur. ICN, email: didier.fass@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 260. |
[5] | Pascal Fontaine. Professor, associate member. Université de Liège, Office Bureau 208. |
[6] | Jean-Pierre Jacquot. Maitre de conférences. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: Jean-Pierre.Jacquot@loria.fr; Tel +33383592000; http://mosel.loria.fr; Office Bureau 212. |
[7] | Igor Konnov. Chargé de recherche in leave in industry (2019->). INRIA, 2018-2020 email: igor.konnov@inria.fr; Tel +33383592000; http://www.loria.fr; Office Bureau 210. |
[8] | Sergei Lengley. Maitre de conférences. Université de Lorraine at Faculty of Science and Technology, Bureau 204 email: sergei.lengley@loria.fr; Tel +33383592000; http://mosel.loria.fr; Office Bureau 212. |
[9] | Stephan Merz. Directeur de recherche, Head of veridis team. INRIA, email: stephan.merz@loria.fr; Tel +33383592000; http://www.loria.fr; Office Bureau 208. |
[10] | Pierre-Etienne Moreau. Professeur. Université de Lorraine at Ecole des Mines de Nancy, Bureau 204 email: pierre-etienne.moreau@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 204. |
[11] | Dominique Méry. Professeur, Head of the MOSEL research team. Université de Lorraine, email: dominique.mery@loria.fr; Tel +33383592019; http://www.loria.fr/mery; Office Bureau 202. [ http ] |
[12] | Denis Roegel. Maître de conférences. Université de Lorraine at IUT Nancy Charlemagne, Office Burea 202. |
[13] | Jeanine Souquières. Professeur. Université de Lorraine at UFR MIAGE, email: jeanine.souieres@loria.fr; Tel +33383592000; http://www.loria.fr/mery; Office Bureau 212. |
[14] | Sorin Stratulat. Maître de conférences. Université de Lorraine at UFR MIM, Office Bureau 215. |
[15] | Thomas Sturm. Directeur de recherche. CNRS, Bureau 215 http://members.loria.fr/sturm. |
[16] | Sophie Tourret. Researcher, inria (and visiting researcher, max-planck-institut für informatik). INRIA, email:sophie.tourret@inria.fr and https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret. |
This file was generated by bibtex2html 1.99.