[ecoop-info] FORMATS 2016 - First Call for Papers

Announcements of FME events events at fmeurope.org
Mon Feb 8 15:45:30 CET 2016

[ Apologies for cross posting ]


                              FORMATS 2016

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

                          First Call for Papers

FORMATS'16 takes place at Hotel Chateau Laurier in Québec City,
Canada, where it is colocated with CONCUR'16 and QEST'16.


Control and analysis of the timing of computations is crucial to many
domains of system engineering, be it, e.g., for ensuring timely
response to stimuli originating in an uncooperative environment or for
synchronizing components in VLSI. Reflecting this broad scope, timing
aspects of systems from a variety of domains have been treated
independently by different communities in computer science and
control. Researchers interested in semantics, verification and
performance analysis study models such as timed automata and timed
Petri nets, the digital design community focuses on propagation and
switching delays, while designers of embedded controllers have to take
account of the time taken by controllers to compute their responses
after sampling the environment, as well as of the dynamics of the
controlled process during this span.

Timing-related questions in these separate disciplines do have their
particularities. However, there is a growing awareness that there are
basic problems that are common to all of them. In particular, all
these sub-disciplines treat systems whose behaviour depends upon
combinations of logical and temporal constraints; namely, constraints
on the temporal distances between occurrences of events. Often, these
constraints cannot be separated, as intrinsic dynamics of processes
couples them, necessitating models, methods, and tools facilitating
their combined analysis. Reflecting this fact, FORMATS'16 will
feature a special session on hybrid discrete-continuous systems.


The aim of FORMATS is to promote the study of fundamental and
practical aspects of timed systems, and to bring together researchers
from different disciplines that share interests in modelling and
analysis of timed systems and, as a generalization, hybrid
systems. Typical topics include (but are not limited to):

* Foundations and Semantics:

 Theoretical foundations of timed systems and languages; new models
 and logics or analysis and comparison of existing models (like
 automata, Petri nets, or process algebras involving quantitative
 time; hybrid automata; probabilistic automata and logics).

* Methods and Tools:

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

* Applications:

  Adaptation and specialization of timing technology in application
  domains in which timing plays an important role (real-time software,
  embedded control, hardware circuits, and problems of scheduling in
  manufacturing and telecommunication).

Paper Submission

FORMATS'16 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.  Submissions should not exceed 15 pages in length,
but may be supplemented with a clearly marked appendix, which will be
reviewed at the discretion of the program committee.

Each paper will undergo a thorough review process.

Papers are to be submitted electronically via the EasyChair online
submission system:


Publication of the proceedings of FORMATS'16 by Springer in the
Lecture Notes in Computer Science series is under negotiation.  A
special issue dedicated to FORMATS will be hosted in a topical
journal, collecting the extensions of papers selected by quality and
subject to additional revision.

Important Dates

Abstract Submission:  April 15, 2016
Paper Submission: April 22, 2016
Notification: June 10, 2016
Final paper due: June 22, 2016
Conference: August 24-26, 2016

General Chair

Josée Desharnais, (U. Laval, Canada)

Program Comittee

S. Akshay,                  (IIT Bombay, India)
Béatrice Bérard,            (U. Paris 6, France)
Hanifa Boucheneb,           (U. Montréal, Canada)
Laura Carnevali,            (U. Firenze, Italy)
Franck Cassez,              (U. Macquarie, Australia)
Martin Fränzle,             (U. Oldenburg, Germany), (chair)
Gilles Geeraerts,           (ULB, Belgium)
Michael R. Hansen,          (DTU, Denmark)
Boudewijn Haverkort,        (U. Twente, NL)
Franjo Ivancic,             (Google, USA)
Oded Maler,                 (VERIMAG, CNRS-UGA, France)
Nicolas Markey,             (U. Paris-Saclay, France), (chair)
Chris Myers,                (U. Utah, USA)
Jens Oehlerking,            (Bosch GmbH, Germany)
David Parker,               (U. Birmingham, UK)
Karin Quaas,                (U. Leipzig, Germany)
Stefan Ratschan,            (CAS, Czech Republic)
César Sanchez,              (IMDEA Software Institute, Spain)
Sriram Sankaranarayanan,    (U. Colorado, USA)
Jeremy Sproston,            (U. Torino, Italy)
Jiri Srba,                  (U. Aalborg, Denmark)
Lothar Thiele,              (ETH Zurich, Switzerland)
Enrico Vicario,             (U. Firenze, Italy)
Mahesh Viswanathan,         (U. Illinois, USA)
James Worrell,              (U. Oxford, UK)
Sergio Yovine,              (U. Buenos Aires, Argentina)
Huibiao Zhu,                (ECNU, China)

Steering Committee

Rajeev Alur,            (U. Pennsylvania, USA)
Eugene Asarin,          (U. Paris Diderot, France)
Thomas A. Henzinger,    (IST Austria)
Joost-Pieter Katoen,    (RWTH Aachen, Germany)
Kim G. Larsen,          (U. Aalborg, Denmark)
Oded Maler,             (VERIMAG, CNRS-UGA, France)
Lothar Thiele,          (ETH Zurich, Switzerland)
Wang Yi,                (U. Uppsala, Sweden)

Publicity Chair

Sebastian Gerwinn, (OFFIS, Germany)

Invited speakers

Scott Smolka,   (U. Stony Brook, USA)
Ufuk Topcu,     (U. Texas, USA)

-------------- next part --------------
events mailing list
events at fmeurope.org

More information about the ecoop-info mailing list