FOR-MOVES 2015: FORmal MOdeling and VErification of Service-based systems
November 16, 2015
Goa, India (co-located with ICSOC 2015)
Program Commitee
Etienne André (LIPN, University Paris
13, France)
Boualem Benatallah (University of New South Wales, Sydney)
Nejib Ben Hadj-Alouane (ENIT, Tunisia)
Jörg Desel (University of Hagen)
Michael Dierkes (Rockwell Collins)
Marc Frappier (University of Sherbrooke)
Mohamed Graiet (ISIM, Monastir, Tunisia)
Serge Haddad (ENS Cachan, France)
Sun Jun (Singapore University of Technology and Design)
Pierre Kelsen (University of Luxembourg)
Ferhat Khendek (Concordia University, Montréal, Canada)
Foutse Khomh (Polytechnique, Montréal)
Michael Leuschel (University of Düsseldorf)
Mohamed Mejri (Université Laval, Québec, Canada)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)
Boualem Benatallah (University of New South Wales, Sydney)
Nejib Ben Hadj-Alouane (ENIT, Tunisia)
Jörg Desel (University of Hagen)
Michael Dierkes (Rockwell Collins)
Marc Frappier (University of Sherbrooke)
Mohamed Graiet (ISIM, Monastir, Tunisia)
Serge Haddad (ENS Cachan, France)
Sun Jun (Singapore University of Technology and Design)
Pierre Kelsen (University of Luxembourg)
Ferhat Khendek (Concordia University, Montréal, Canada)
Foutse Khomh (Polytechnique, Montréal)
Michael Leuschel (University of Düsseldorf)
Mohamed Mejri (Université Laval, Québec, Canada)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)
Workshop Organizers
Hanifa Boucheneb (Montreal Polytechnic, Montréal, Canada)
Kais Klai (LIPN, University Paris 13, France)
Kais Klai (LIPN, University Paris 13, France)