SEFM 2017 - Call for Participation 15th International Conference on Software Engineering and Formal Methods September 4-8, 2017 Trento, Italy INVITED SPEAKERS
WORKSHOPS
RELATED EVENTS
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 |