TOOLS 2019

This new edition of the TOOLS conference series revives a tradition going back 50 conferences from 1989 to 2012. TOOLS was originally "Technology of Object-Oriented Languages and Systems" and grew to encompass all innovative aspects of software technology. Many of today's most important software concepts were first introduced there. The 2019 TOOLS 50+1, taking place near Kazan, in Russia, continues the series in the same spirit of creativity, passion for everything software-related, combination of scientific soundness and industrial applicability, and an open attitude welcoming all trends and communities in the field.

Call for papers

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. This edition of MSE will be affiliated with TOOLS 2019 taking place near Kazan, in Russia, which continues a tradition of events going back 50 conferences from 1989 to 2012 that encompassed all innovative aspects of software technology.
Topics of interest include (but not limited to):
  • Design and implementation of Service-oriented Architectures and Microservices
  • Software engineering techniques for Microservices
  • Requirements Engineering for Microservices
  • Model-Driven Engineering for Microservices
  • Security in Microservices
  • Formal models and analyses of Microservice systems
  • Validation and 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
  • Migration of Microservices
  • Adaptation and Evolution of Microservices

Important Dates

  • Abstract submission: May 13th, 2019
  • Workshop paper submission: May 20th, 2019
  • Workshop paper notification: June 20th, 2019
  • Camera ready version: June 30th, 2019
  • Workshop co-located with TOOLS: October 15th-17th, 2019


All papers must be original and not simultaneously submitted to another journal or conference. The workshop welcomes research papers, experience papers and tool presentations; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Contributions can be:

  • Regular papers (maximum 15 pages): In this category fall those contributions which propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions in the application of FM and SE approaches for building future applications in the field of Microservices. Regular papers should clearly describe the situation or problem tackled, the relevant state of the art, the position or solution suggested and the potential benefits of the contribution.
  • Short papers (maximum 8 pages): This category includes tool demonstrations, position papers, industrial experiences and case-studies, well-pondered and sufficiently documented visionary papers. Authors of papers reporting industrial experiences are strongly encouraged to make their experimental results available for use by reviewers. Similarly, case-study papers should describe significant case-studies and the complete development should be made available for use by reviewers. Tool demonstration papers should explain enhancements made in comparison to previously published work. Authors of demonstration papers should make their tool available for use by reviewers.

Papers will be submitted as PDF files, using the SPRINGER LNCS proceedings format (see, with a page limit of 15 pages. Short paper should be limited to 8 pages. Proceedings will be published as a volume of the Springer's Lecture Notes in Computer Science. You can submit the paper through EasyChair using this link: http:// By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality.

Program Chairs

Program Committee

  • Davide Basile, University of Florence
  • Marcello M. Bersani, Politecnico di Milano
  • Radu Calinescu, University of York
  • Mauro Caporuscio, Linnaeus University
  • Martina De Sanctis, Gran Sasso Science Institute
  • Stéphane Demri, LSV, CNRS, ENS Paris-Saclay
  • Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara
  • Marisol García-Valls, Universidad Carlos III de Madrid
  • Martin Garriga, Universidad Nacional del Comahue
  • Michele Guerriero, Politecnico di Milano
  • Ludovico Iovino, Gran Sasso Science Institute
  • Ivano Malavolta, Vrije Universiteit Amsterdam
  • Diego Perez-Palacin, Linnaeus University
  • Giovanni Quattrocchi, Politecnico di Milano
  • Clément Quinton, University of Lille
  • Youssef Ridene, Netfective Technology
  • Josef Spillner, Zurich University of Applied Sciences
  • Damian Andrew Tamburri, Technical University of Eindhoven, Jeronimus Academy of Data Science
  • Maurice H. ter Beek, ISTI-CNR
  • Christos Tsigkanos, Vienna University of Technology

Steering Committee

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