Important dates

submission: August 14, 2015
notification:  September 14, 2015
Camera ready: September 30, 2015
workshop: November 16, 2015

Contact

hanifa.boucheneb@polymtl.ca kais.klai@lipn.univ-paris13.fr

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)

             Workshop Organizers

                        Hanifa Boucheneb (Montreal Polytechnic, Montréal, Canada)
                        Kais Klai (LIPN, University Paris 13, France)