posted by organizer: NickDk || 373 views || tracked by 1 users: [display]

MSE 2017 : Microservices: Science and Engineering (MSE) workshop @ SEFM 2017

FacebookTwitterLinkedInGoogle

Link: https://mse-sefm17.fbk.eu
 
When Sep 4, 2017 - Sep 4, 2017
Where Trento, Italy
Submission Deadline Jun 15, 2017
Notification Due Jul 6, 2017
 

Call For Papers

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.

The 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

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

In order to trigger intriguing discussions during the Workshop, we will plan a final Plenary Discussion Session. After the camera-ready phase, we will invite both authors of accepted papers and no-author registered participants to send to chairs one (or more) challenge or research question (both from a theoretical as well as practical perspective) that they would like to discuss about during a plenary discussion session of about 1 hour wich will be held at the end of the Workshop event day.

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
CoMSE 2021   2021 International Conference on Materials Science and Engineering (CoMSE 2021)
SEFM 2019   Software Engineering and Formal Methods
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
CDC 2020   Conference on Decision and Control
Reshaping the Nation 2019   Reshaping the Nation: Collective Identities and Post-War Violence in Europe 1944–48
FCSIT 2020--Ei Compendex & Scopus 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
EI ISCSIC 2020   2020 4th International Symposium on Computer Science and Intelligent Control(ISCSIC 2020)