posted by user: ngaranina || 1511 views || tracked by 2 users: [display]

CSMML 2021 : Control Software: Methods, Models, and Languages


When Jun 21, 2021 - Jun 21, 2021
Where Tallinn, Estonia
Abstract Registration Due Apr 12, 2021
Submission Deadline Apr 19, 2021
Notification Due May 3, 2021
Final Version Due Jun 9, 2021
Categories    formal methods   control systems   DSL   requirements engineering

Call For Papers

_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.


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


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

Related Resources

IJPLA 2023   International Journal of Programming Languages and Applications
AIAP 2024   11th International Conference on Artificial Intelligence and Applications
BIOINFORMATICS 2024   15th International Conference on Bioinformatics Models, Methods and Algorithms
CGDEIJ 2023   Computer Game Development and Education: An International Journal
CIFMA 2023   Cognition: Interdisciplinary Foundations, Models and Applications
AVC 2023   Advances in Vision Computing: An International Journal
LANMR 2023   15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning
BCYIoT 2023   International Conference on Blockchain, Cybersecurity and Internet of Things
ESMMDS 2023   Enhanced Sampling Methods for Molecular Dynamics Simulations
ICDE 2024   40th IEEE International Conference on Data Engineering