[FM-India] FORMATS 2015 - First Call for Papers

FORMATS Conference formats2015 at gmail.com
Thu Feb 26 20:06:46 IST 2015


[ Apologies for cross posting ]

---------------------------------------------------------------------

                              FORMATS 2015

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

                          First Call for Papers
                       http://formats2015.unifi.it

---------------------------------------------------------------------


Objective
---------

Timing aspects of systems from a variety of computer science domains
have been treated independently by different communities.  Researchers
interested in semantics, verification and performance analysis study
models such as timed automata and timed Petri nets, the digital design
community focusses 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.

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 behavior depends upon
combinations of logical and temporal constraints; namely, constraints
on the temporal distances between occurrences of events.


Topics
------

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.  Typical topics include (but are not
limited to):

* 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).

* 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.).

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


Paper Submission
----------------

FORMATS 2015 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.

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 EasyChair online
submission system.


Publication and special issue
-----------------------------

The proceedings of FORMATS 2015 will be published by Springer in the
Lecture Notes in Computer Science series.

A special issue dedicated to FORMATS will be hosted in the Journal of
Real Time Systems, Springer, collecting the extensions of papers
selected by quality and fitness to the Journal scope, and subject to
additional revision.


Important Dates
---------------

* Abstract submission: April 20, 2015
* Paper submission: April 27, 2015
* Notification of acceptance: June 10, 2015
* Final version due:  June 22, 2015
* Conference: September 2-4, 2015


Program Chairs
--------------

Sriram Sankaranarayanan (University of Colorado at Boulder, USA)
Enrico Vicario (University of Florence, Italy)


Program Committee
-----------------

Bernard Berthomieu  (LAAS/CNRS, Toulouse, France)
Nathalie Bertrand   (INRIA Rennes, France)
Luca Bortolussi     (University of Trieste, Italy)
Marius Bozga        (VERIMAG/CNRS, Grenoble, France)
Víctor Braberman    (University of Buenos Aires, Argentina)
Thomas Brihaye      (University of Mons, Belgium)
Laura Carnevali     (University of Florence, Italy)
Franck Cassez       (Macquarie University, Sydney, Australia)
Krishnendu Chatterjee (Institute of science and Technology, Austria)
Martin Fränzle      (Carl von Ossietzky University, Oldenburg, Germany)
Goran Frehse        (VERIMAG / University of Grenoble, France)
Laurent Fribourg    (LSV, ENS Cachan & CNRS, France)
Radu Grosu          (Institute of Computer Engineering, Vienna, Austria)
Franjo Ivancic      (Google, New York, USA)
Xiaoqing Jin        (Toyota Technical Center, Los Angeles, USA)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
Kai Lampka          (Uppsala University, Sweden)
Kim G. Larsen       (Aalborg University, Denmark)
Axel Legay          (IRISA/INRIA Rennes, France)
Didier Lime         (IRCCyN / École Centrale de Nantes, France)
Giuseppe Lipari     (Lille University, France)
Oded Maler          (VERIMAG/CNRS, Grenoble, France)
Rahul Mangharam     (University of Pennsylvania, USA)
Nicolas Markey      (LSV, ENS Cachan & CNRS, France)
Cesar Sanchez       (IMDEA Software Institute)
Krishna Shankara Narayanan  (Indian Institute Of Technology, Bombay, India)
Jeremy Sproston     (University of Turin, Italy)
Lothar Thiele       (ETH Zurich, Switzerland)
Ashish Tiwari       (SR International, United States)
Louis-Marie Traonouez (IRISA/INRIA Rennes, France)
Stavros Tripakis    (Aalto University, Finland, and UC Berkeley, USA)
Ashutosh Trivedi    (Indian Institute Of Technology, Bombay, India)
Frits Vaandrager    (Radboud University Nijmegen, the Netherlands)
Mahesh Viswanathan  (University of Illinois, Urbana, USA)


Steering Commitee
-----------------

Rajeev Alur         (University of Pennsylvania, USA)
Eugene Asarin       (LIAFA / University Paris Diderot, France)
Thomas A. Henzinger (Institute of Science and Technology, Austria)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
Kim G. Larsen       (Aalborg University, Denmark)
Oded Maler          (VERIMAG / CNRS, Grenoble, France)
Lothar Thiele       (ETH Zurich, Switzerland)
Wang Yi             (Uppsala University, Sweden)


Venue and colocation
--------------------

FORMATS 2015 will take place in Madrid, in the days 2-4 September
2015.

It will be colocated with QEST, CONCUR, TGC, EPEW, and WS-FM/BEAT, as
part of Madrid Meet 2015 (http://mafalda.fdi.ucm.es/madrid2015/), a
week on quantitative and formal methods for computer safety,
reliability, and performance:

CONCUR2015
26th Conference on Concurrency Theory

QEST2015
12th International Conference on
Quantitative Evaluation of SysTems

FORMATS2015
13th International Conference on
Formal Modeling and Analysis of Timed Systems

TGC2015
10th International Symposium on
Trustworthy Global Computing

WS-FM/BEAT 2015
International Symposium on
Web Services, Formal Methods and Behavioural Types

EPEW 2015
12th European Workshop on Performance Engineering

EXPRESS/SOS 2015
Combined 22nd International Workshop on
Expressiveness in Concurrency and
12th Workshop on Structured Operational Semantics

PV
2nd International Workshop on Parameterized Verification

TRENDS 2015

YR-CONCUR 2015

FOCLASA 2015
14th International Workshop on
Foundations of Coordination Languages and Self-Adaptation


More information about the FMIndia mailing list