posted by user: sadegh_rk || 1958 views || tracked by 2 users: [display]

MARS 2022 : Workshop on Models for Formal Analysis of Real Systems

FacebookTwitterLinkedInGoogle

Link: http://mars-workshop.org/mars2022/
 
When Apr 2, 2022 - Apr 3, 2022
Where Munich, Germany
Abstract Registration Due Jan 3, 2022
Submission Deadline Jan 10, 2022
Notification Due Feb 14, 2022
Final Version Due Feb 28, 2022
Categories    networks   formal methods   cyber-physical systems   modeling
 

Call For Papers

MARS 2022 - CALL FOR PAPERS - Munich (Germany) - 2-3 April 2022

Call for Papers

Models for Formal Analysis of Real Systems
(MARS 2022)

2-3 April 2022
Affiliated with ETAPS 2022
Munich, Germany

http://mars-workshop.org/mars2022/


The MARS workshops bring together researchers from different
communities who are developing formal models of real systems in areas
where complex models occur, such as networks, cyber-physical systems,
hardware/software codesign, biology, etc.
The motivation and aim for MARS stem from the following two observations:

* Large case studies are essential to show that specification formalisms
and modelling techniques are applicable to real systems, whereas many
research papers only consider toy examples or tiny case studies.
* Developing an accurate model of a real system takes a large amount of
time, often months or years. In most scientific papers, however,
salient details of the model need to be skipped due to lack of space,
and to leave room for formal verification methodologies and results.

The MARS workshops aim at remedying these issues, emphasising modelling
over verification, so as to retain lessons learnt from formal
modelling, which are not usually discussed elsewhere. Examples are:

* Which formalism was chosen, and why?
* Which abstractions have been made, and why?
* How were important characteristics of the system modelled?
* Were there any complications while modelling the system?
* Which measures were taken to guarantee the accuracy of the model?
* How can different modelling approaches be compared on this system?

We thus invite papers that present formal models of real systems, which
may lay the basis for future analysis and comparison.

In addition to the workshop proceedings, the formal models presented at
the workshop will be archived in the MARS Repository, a growing,
diverse collection of realistic benchmarks. The existence of this
repository is a unique feature that makes MARS contributions available
to the wider community, so that others can reproduce experiments,
perform further analyses, and try the same case studies using different
formal methods.

SUBMISSION GUIDELINES

All submissions will be peer-reviewed by at least three referees based
on their novelty, relevance, and technical merit. The MARS proceedings
will be published in the open-access EPTCS series (Electronic
Proceedings in Theoretical Computer Science).

Submissions must be unpublished and not be submitted for publication
elsewhere. It is accepted, however, to submit a paper about a case
study already mentioned at another conference, workshop, or journal
provided that: (1) the formal model is submitted to MARS 2022 and has
not been published previously, and (2) the MARS submission adds
significant, novel material concerning the formal modelling work.

Submissions must be in English and submitted in PDF format via
EasyChair. Contributions are limited to 12 pages EPTCS style (not
counting references and the appendices). Appendices (of arbitrary
length, included in the proceedings) can be added to present all
details of a formal model.

We welcome submissions that come together with one or many formal
models that can be processed by some tool (e.g., timed automata for
Uppaal, definitions and proofs for Isabelle/HOL, etc.). Such models
should be complete (i.e., self-contained) and made available under a
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
License. The models associated to accepted papers will be made
available in the MARS Repository. A URL to the formal models should be
provided along with the submission.

IMPORTANT DATES (AoE)

* Submission: Monday, 10 January 2022
* Notification: Monday, 14 February 2022
* Final version: Monday, 28 February 2022
* Workshop: Saturday and Sunday, 2-3 April 2022

PROGRAM COMMITTEE

Clemens Dubslaff (TU Dresden, Germany, co-chair)
Hubert Garavel (INRIA Grenoble Rhône-Alpes, France)
Peter Höfner (Data61, CSIRO, Australia)
Bas Luttik (TU Eindhoven, The Netherlands, co-chair)
Lina Marsso (University of Toronto, Canada)
Stefan Mitsch (Carnegie Mellon University, United States)
Thomas Neele (TU Eindhoven, The Netherlands)
Dave Parker (University of Birmingham, UK)
Martina Seidl (Johannes Kepler University Linz, Austria)
Tayssir Touili (LIPN, CNRS & University Paris 13, France)

VENUE AND TRAVEL INFORMATION

MARS 2022 is part of the European Joint Conferences on Theory and
Practice of Software (ETAPS 2022). Information about venue and
travelling in/to Munich can be found at the webpage of ETAPS.

WORKSHOP ORGANISERS AND CONTACT

All questions about the workshop should be emailed to Clemens Dubslaff
and Bas Luttik at mars2022@mars-workshop.org

Related Resources

QEST+FORMATS 2024   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
FM 2024   Formal Methods
COORDINATION 2024   26th International Conference on Coordination Models and Languages
COMIT 2024   8th International Conference on Computer Science and Information Technology
RTAS 2024   IEEE Real-Time and Embedded Technology and Applications Symposium
ISCSIC 2024   2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024)
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
CNCIT 2024   2024 3rd International Conference on Networks, Communications and Information Technology (CNCIT 2024)
FLLM 2024   The 2nd International Conference on Foundation and Large Language Models