[email protected]'22 - deadline extension (24th January)

by Clemens Dubslaff, Jan. 13, 2022

The MARS workshop brings together researchers from different communities who are developing formal models of real systems. Challenging complex models often occur in formal methods, such as networks, cyber-physical systems, hardware/software codesign, biology, etc. but their thorough discussion is usually not in the scope of conference submissions. MARS emphasizes modeling over verification, so as to retain lessons learnt from formal modeling for complex and real-world systems.

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


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.


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 (https://easychair.org/conferences/?conf=mars2022). 

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.


 * Submission: 24 January 2022 (extended)

 * Notification: Saturday, 19 February 2022 (extended)

 * Final version: Monday, 28 February 2022

 * Workshop: Saturday and Sunday, 2-3 April 2022


Clemens Dubslaff (TU Dresden, Germany, co-chair)

Hubert Garavel (INRIA Grenoble Rhône-Alpes, France)

Peter Höfner (ANU, Canberra, 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)


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.


All questions about the workshop should be emailed to Clemens Dubslaff 

and Bas Luttik at [email protected]