Important dates

submission: August 25
notification:  September 15
Camera ready: September 30
workshop: November 3

Contact

kais.klai@lipn.univ-paris13.fr amel.mammar@telecom-sudparis.eu

FOR-MOVES: FORmal MOdeling and VErification of  Service-based systems

November 3, 2014

Paris, France (co-located with ICSOC 2014)

  

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)
Michael Leuschel (University of Düsseldorf)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)

             Workshop Organizers

                        Kais Klai (LIPN, University Paris 13, France)
                       Amel Mammar (Samovar, TSP, France)