_Motivation and Scope_

The increasing complexity of control systems used in our everyday life requires a reassessment of the design and development tools. Incorrect behavior and/or lack of robustness of control systems may lead to an unacceptable loss of funds or even human life. Since behavior of control systems is specified in software, the study of control software is of great interest.
The purpose of this workshop is to gather academicians as well as industrial professionals involved in development of control software in order to exchange best practices in modeling, specification and verification. A strong focus will be given on application of formal methods and domain-specific languages to improve the quality of industrial control software.

_Topics_

The topics of interest of the workshop include, but are not limited to :
• Formal specification and verification of control software
• Domain specific languages for control software
• Process-oriented programming
• Elaboration of functional and non-functional requirements for control systems
• The usage of ontologies in control systems domain
• Model-based verification and testing methods as applied to control software
• Application of test-driven development methods in control domain
• Deductive methods to prove properties of control software
• Case studies, applications and experimentation on control plants
• Cyber-physical systems and Industry 4.0 in general
• Methodologies and tools for design and development of control industrial applications

_Panel Discussion_

We organize the discussion on topic “The use of languages and formal methods to improve the quality of cyber-physical systems: what should we do to meet the Industry 4.0 Challenge?”. The panelists will be announced later.

_Keynote speakers_

• James H. Christensen (Holobloc Inc., USA)
• ТВА
 
_Workshop Chairs_

• Vladimir Zyubin, Institute of Automation and Electrometry SB RAS, Russia
• Sergey Staroletov, Polzunov Altai State Technical University, Russia
• Natalia Garanina, A.P. Ershov Institute of Informatics Systems SB RAS, Russia

_Program Committee_

• Igor Anureev, A.P. Ershov Institute of Informatics Systems SB RAS, Russia
• Thomas Baar, Hochschule für Technik und Wirtschaft (HTW), Germany
• Sergei Gorlatch, University of Muenster, Germany
• Damas Gruska, Comenius University in Bratislava, Slovakia
• Paula Herber, University of Muenster, Germany
• Dmitry Koznov, St Petersburg University, Russia
• Alexey Lisitsa, University of Liverpool, Great Britain
• Alexandr Naumchev, Innopolis University, Russia
• Horst Schulte, Hochschule für Technik und Wirtschaft (HTW), Germany
• Nikolay Shilov, Innopolis University, Russia
• Vassil Todorov, Université Paris-Saclay, CNRS, CentraleSupélec, LRI, Orsay, France
• Valeriy Vyatkin, Aalto University, Finland
• Vladimir Zakharov, Lomonosov Moscow State University, Russia

_Submissions_

CSMML 2021 invites papers in two categories. Submission guidelines for each category of paper:
• Regular research papers: contributions should describe original work (up to 14 pages including all text, figures, references and appendices).
• Short papers: Research in progress, tools presentations, and new ideas (6 - 8 pages including all text, figures, references and appendices).

Each submitted paper must be original, unpublished and not submitted elsewhere. Contributions should be written in English and be prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Submitted papers will be carefully evaluated by at least three reviewers. Submissions must be in PDF format and should be made using the CSMML 2021 Easychair site. All accepted workshop papers will be published by Springer in "Communications in Computer and Information Science". The best papers will be selected for a special issue.

_Important dates_

Abstract submission: April 12, 2021 *Extended*
Paper submission: April 19, 2021 *Extended*
Acceptance notification: May 3, 2021
Camera ready: June 9, 2021