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

WORKSHOPS

iFM 2017 will feature the following 5 workshops. The workshops will take place on September 18th and 19th, preceding the main conference.


WORKSHOP MONDAY 18th TUESDAY 19th ROOM
ALP4IoT
Architectures, Languages and Paradigms for IoT
X
WAO
Actors and Active Objects
X
FVAV
Formal Verification of Autonomous Vehicles
X
V2CPS
Verification and Validation of Cyber-Physical Systems
X
PrePost
Pre- and post-deployment verification techniques
X