Call For Participation
SEFM 2017 - Call for Participation
15th International Conference
on Software Engineering and Formal Methods
September 4-8, 2017 Trento, Italy
INVITED SPEAKERS
Marsha Chechik (University of Toronto, Canada)
Jeff Kramer (Imperial College London, United Kingdom)
Alberto Sangiovanni-Vincentelli (Berkeley University, United States)
WORKSHOPS
FAACS. Formal Approaches for Advanced Computing Systems. (4 September)
MSE. Microservices: Science and Engineering. (4 September)
POTENTIAL. Workshop on Technology Transfer in Software Engineering and Formal Methods (4 September)
DataMod. From Data to Models and Back. (4-5 September)
CoSim-CPS. Formal Co-Simulation of Cyber-Physical Systems. (5 September)
FOCLASA. Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems. (5 September)
RELATED EVENTS
International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017)
International Symposium on Model-Based Safety Assessment (MBSA 2017)
The list of accepted papers is available at:
http://sefm17.fbk.eu/accepted-papers
The program is available at:
http://sefm17.fbk.eu/programme
The registration for SEFM'17 (together with its affiliated workshops and tutorials) is now open! Early registration with reduced rates ends on August 17.
See all the details at: http://sefm17.fbk.eu/registration
The conference and workshops will take place at the Science and Technology Hub of Fondazione Bruno Kessler. More information about the venue at: http://sefm17.fbk.eu/venue