13th International Conference on integrated Formal Methods (iFM 2017)

WORKSHOPS and other Satellite Events

iFM 2017 will feature a 3-day workshop (FMICS-AVoCS 2017) and the following 1-day satellite events (a COST Action meeting, four workshops: ALP4IoT, WAO, FVAV, PrePost; and a PhD Symposium). The 1-day satellite events will take place on September 18th and 19th, preceding the main conference.

1-DAY SATELLITE EVENT	MONDAY 18th	TUESDAY 19th	ROOM
ARVI COST Action IC1402 ARVI meeting [participation is by invitation only]	X		8:45-9:00 "Sala Multifunzione 1", via Verdi 9 9:00-... "Aula Magna del Rettorato" (first floor), via Verdi 8
ALP4IoT Architectures, Languages and Paradigms for IoT	X		8:45-9:00 "Sala Multifunzione 1", via Verdi 9 9:00-10:00 "Aula Magna del Rettorato" (first floor), 10:30-... "Sala Principe d'Acaja" (ground floor), via Verdi 8
WAO Actors and Active Objects	X		8:45-9:00 "Sala Multifunzione 1", via Verdi 9 9:00-10:00 "Aula Magna del Rettorato" (first floor), 10:30-... "Sala Principe d'Acaja" (ground floor), via Verdi 8
FVAV Formal Verification of Autonomous Vehicles		X	"Aula Magna del Rettorato" (first floor), via Verdi 8
PrePost Pre- and post-deployment verification techniques		X	"Sala Principe d'Acaja" (ground floor), via Verdi 8
PhD-iFM PhD Symposium		X	"Sala Biblioteca Arturo Graf" (first floor), via Verdi 8

The V2CPS (Verification and Validation of Cyber-Physical Systems) workshop has been cancelled.