[TYPES/announce] MSE at SEFM 2017 - Workshop Call for Papers

[Manuel Mazzara]

*MSE at SEFM 2017 -  Call For Papers*
Microservices: Science and Engineering Workshop 

https://mse-sefm17.fbk.eu/

The 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) will be held in Trento, Italy, September 4-8, 2017.

The *MSE – “Microservices: Science and Engineering” Workshop* constitutes a forum for scientists and engineers in academia and industry to present and discuss their latest ongoing research as well as radical new research directions that represent challenging innovations, which can advance the status quo and the understanding in the microservices area and its applications, in particular in the IoT where the scaling in the small approach is of major importance.

SEFM attendees might be interested in attending this workshop because of the relevance of its themes and goals to the SE. Also industry partners and mobile developers are particularly welcome, thanks to their more practical approach, hopefully bringing some real scenario examples.

This workshop aims at bringing together contributions by scientists and practitioners to shed light on the development of scientific concepts, technologies, engineering techniques and tools for a service-based society. In particular, the focus is on Microservices, i.e., the use of services beyond the traditional cross-organizational B2B approach and the implementation of the model inside of applications, scaling in the small the concepts previously seen in the large. In Microservices, each component of a software is a service with the related issues of scalability and distribution of responsibility.

Topics of interest include (but not limited to):

- Design and implementation of Service-oriented Architectures and Microservices
- Software engineering techniques for Microservices
- Security in Microservices
- Formal models and analyses of Microservice systems
- Verification techniques for Microservices
- Coordination models for Microservices
- Empirical studies on services and Microservices
- Programming languages for Microservices
- Static analysis of Microservices
- Testing of Microservice systems

*Workshop Chairs*

- Marcello Maria Bersani - Politecnico di Milano, Italy
- Antonio Bucchiarone -  FBK, Trento, Italy
- Nicola Dragoni - Technical University of Denmark (DTU), Denmark
- Luca Ferrucci - ISTI-CNR, Italy
- Manuel Mazzara - Innopolis University, Russia
- Fabrizio Montesi - University of Southern Denmark

*Important Dates*

- June 15, 2017: Paper submission deadline
- July 6, 2017: Notification of acceptance
- September 4, 2017: Workshop co-located with SEFM 2017

*Submissions*
We seek for both full and short papers. Full papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format that it is possible to find here, with a page limit of 15 pages. Short paper should be limited to 8 pages.
All papers will be reviewed by at least 3 technical committee members.
Accepted papers will be published by the format for all SEFM Workshop, SPRINGER LNCS Post-Proceedings. 
You can submit the paper through EasyChair using this link:
https://easychair.org/conferences/?conf=msesefm2017

*Venue*

MSE is a workshop at SEFM 2017, the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017) that will be held in Trento, Italy, September 4-8, 2017