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 (by invitation)
X
ALP4IoT
Architectures, Languages and Paradigms for IoT
X
WAO
Actors and Active Objects
X
FVAV
Formal Verification of Autonomous Vehicles
X
PrePost
Pre- and post-deployment verification techniques
X
PhD-iFM
PhD Symposium
X



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