13th International Conference on integrated Formal Methods (iFM 2017)
ESTECO is proud to participate in the 13th International Conference on Integrated Formal Methods (IFM 2017), which will be held from 18 to 22nd September 2017 in Turin, Italy. During the conference, ESTECO's Simone Silvetti will present the paper "An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems" (Authors: Simone Silvetti, Alberto Policriti and Luca Bortolussi).
The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis, and in particular the combination of formal and semi-formal methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
The conference will be held in the Cavallerizza Reale located in Via Verdi 9, Turin, within walking distance from the Porta Nuova railway station. Meals, breaks and satellite events will be held at the nearby historical building of the University of Turin.