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)

   Under construction