[ecoop-info] SEFM 2017 -- Call for Participation

Alberto Griggio griggio at fbk.eu
Thu Jul 20 17:13:29 CEST 2017


============================================================================

                      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

============================================================================


More information about the ecoop-info mailing list