============================================================================
SEFM 2017 - Call for Participation
15th International Conference
on Software Engineering and Formal Methods
September 4-8, 2017, Trento, Italy
http://sefm17.fbk.eu/
============================================================================
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 7.
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
============================================================================
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
