Important dates

submission: August 14, 2015
notification: September 14, 2015
Camera ready copy: 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)

   Under construction