conferences.computer.science

All conferences / FORMATS / 2021

FORMATS 2021

19th International Conference on Formal Modeling and Analysis of Timed Systems

Held23–27 Aug 2021 WhereOnline RankCORE absent Website qonfest2021.lacl.fr/formats21.php ↗
Closed

Submission closed on 10 May 2021, after an extension of 27 days.

Submission timeline

  • 10 May 2021 Abstract registration 6 Apr 2021 → 23 Apr 2021 +17 days
    23 Apr 2021 → 10 May 2021 +17 days
  • 10 May 2021 Full paper 13 Apr 2021 → 27 Apr 2021 +14 days
    27 Apr 2021 → 10 May 2021 +13 days
  • 21 Jun 2021 Notification
  • 23 Aug 2021 Conference opens

What to submit

Format
15 pages LNCS + references + appendix (regular) / 5 pages (tools)
Proceedings
Springer LNCS — Paywalled, for-profit

One week deadline extension in 2012, none in 2013, one week in 2014, one week in 2015 (+4 days to edit the paper), one week in 2016, one week in 2017, 12+7 days in 2018, 7 days in 2019, 14+10 days in 2020, 14+13 days in 2021. Part of QONFEST with CONCUR, FMICS and QEST. Best paper award in the honor of Oded Maler (since 2018).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at qonfest2021.lacl.fr/formats21.php. 

3rd Call for Papers

FORMATS 2021 (Virtual)
19th International Conference on
      Formal Modeling and Analysis of Timed Systems
August 23rd-27th
Université Paris-Est Créteil, France
co-located with CONCUR, FMICS and QEST as part of QONFEST 2021
Webpage : https://qonfest2021.lacl.fr/formats21.php

COVID-19 update: The conference will be online-only, hosted by the Laboratoire d'Algorithmique, Complexité et Logique, Université Paris-Est Créteil.

================================================================

FORMATS is an annual conference aimed at promoting the study of fundamental and practical aspects of timed systems, and bringing together researchers from different disciplines that share interests in modelling, design, and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems. We particularly encourage submissions concerning applications of real-time systems and on relevant topics in interdisciplinary areas, such as robot motion planning.

Typical topics include (but are not limited to):

(1) Foundations and Semantics
Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

(2) Methods and Tools
Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.).

(3) Applications
Adaptation and specialization of timing technology in application domains such as real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.


Special Sessions: Control Synthesis and Motion Planning for Cyber-physical and Control Systems
There will be a special session on control synthesis and motion planning for cyber-physical and control systems in FORMATS this year. Real-world systems often include physical components, which impose constraints on the time and space evolution of the system, e.g., robots, smart cities, and medical devices. In this session, we are interested in all approaches, including both model-based and data-driven, to analysis and control design for such systems with logical and temporal specifications. We welcome submissions on this topic and in relevant areas.

Paper Submission:
FORMATS 2021 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Regular papers should not exceed 15 pages in length (excluding references, that are therefore not limited), and short papers (for instance describing case studies, or implementations) are limited to 5 pages.  Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Papers will be submitted electronically via the EasyChair online submission system:
https://easychair.org/conferences/?conf=formats2021

The proceedings of FORMATS 2021 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems.

Important Note Concerning the COVID-19 Pandemic:
As per common decision of the organizers and chairs of the QONFEST conferences, FORMATS will be organized as a virtual conference. We would do our best to maintain the usual quality of the program, and moreover to have a scheduling that accommodate attendance from different time zones.


Important dates:
   Abstract submission: April 26, 2021 (extended)
   Paper submission: April 30, 2021 (extended)
   Notification of acceptance: June 21, 2021
   Final version due: July 02, 2021
   Conference: August 23rd-27th, 2021

Invited Speakers:
Jana Tumova, KTH Royal Institute of Technology, Stockholm, Sweden
Daniele Magazzeni , King's College, London, & JP Morgan AI Research, UK

Program Chairs
Catalin Dima (France)
Mahsa Shirmohammadi (France)

QONFEST 2021 General Chair 
Benoît Barbot (France)

Steering Committee
Rajeev Alur (USA)
Eugene Asarin (France)
Martin Fränzle (chair, Germany)
Thomas A. Henzinger (Austria)
Joost-Pieter Katoen (Germany)
Kim G. Larsen (Denmark)
Oded Maler (founding chair, France) (1957-2018)
Pavithra Prabhakar (USA)
Mariëlle Stoelinga (The Netherlands)
Wang Yi (Sweden)

Special-Session Chair
Morteza Lahijanian (USA)

Program Committee
Parosh Aziz Abdulla (Sweden)
Damien Busatto (Belgium)
Thomas Chatain (France)
Lorenzo Clemente (Poland)
Liliana Cucu-Grosjean (France)
Hugo Gimbert (France)
Arnd Hartmanns (The Netherlands)
Hsi-Ming Ho (UK)
Sophia Knight (USA)
Moez Krichen (Saudi Arabia)
Engel Lefaucheux (Germany)
Martina Maggio (Saarland University, Germany)
Angelo Montanari (Italy)
Igor Potapov (UK)
Mickael Randour (Belgium)
Mikhail Raskin (Germany)
Cristian Riveros (Chile)
Matteo Rossi (Italy)
Kristin Yvonne Rozier (USA)
Krishna S (India)
Sadegh Soudjani (UK)
Naijun Zhan (China)

For any questions, feel free to contact the co-chairs Catalin Dima (dima@u-pec.fr) and Mahsa Shirmohammadi (mahsa@irif.fr)

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.