[FM-India] FORMATS 2014: Call for papers (EXTENDED DEADLINE -- 28 April 2014)

[Madhavan Mukund]

 From: Axel Legay <axel.legay at inria.fr>
 To: announcements at lists.artist-embedded.org, announce at informatics-europe.org, 
 	verimag-news at imag.fr, concurrency at tue.nl, qest-announce at iti.uiuc.edu, 
 	ec-digest-l at metis3.gmu.edu, fmics at inrialpes.fr, fmindia at cmi.ac.in, 
 	games at lists.rwth-aachen.de, lics at comlab.ox.ac.uk
 Date: Sat, 12 Apr 2014 19:29:00 +0200 (CEST)
 Subject: Re: FORMATS 2014: Call for papers (EXTENDED DEADLINE -- 28 April 2014)
 
 ----------------------------------------------------------------- 
 
 FORMATS 2014
 
 12th International Conference on
 
 Formal Modeling and Analysis of Timed Systems
 
 Call for Papers
 
 http://formats2014.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
 behaviour 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 2014 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 should be submitted electronically via EasyChair online
 submission system:
 
 https://www.easychair.org/account/signin.cgi?conf=formats2014
 
 The proceedings of FORMATS 2014 will be published by Springer in
 the Lecture Notes in Computer Science series.
 
 Important Dates
 ---------------
 
 * Abstract submission: April 21, 2014 (EXTENDED!!!!)
 
 * Paper submission: April 28, 2014 (EXTENDED!!!!)
 
 * Notification of acceptance: June 9, 2014
 
 * Final version due: June 23, 2014
 
 * Conference: September 8-10, 2014
 
 Program Chairs
 --------------
 
 Marius Bozga (VERIMAG / CNRS, Grenoble, France)
 Axel Legay (IRISA / INRIA Rennes, France)
 
 Program Committee
 -----------------
 
 Erika Abraham (RWTH Aachen University, Germany)
 Parosh Aziz Abdulla (Uppsala University, Sweden)
 Eugene Asarin (LIAFA / University Paris Diderot, France)
 Luca Bortolussi (University of Trieste, Italy)
 Alexandre David (Aalborg University, Denmark)
 Alexandre Donze (UC Berkeley, USA)
 Georgios Fainekos (Arizona State University, USA)
 Martin Franzle (Carl von Ossietzky Universitet Oldenburg,
 Germany)
 Goran Frehse (VERIMAG / University of Grenoble, France)
 Laurent Fribourg (LSV / CNRS, Paris, France)
 Gilles Geeraerts (Universite Libre de Bruxelles, Belgium)
 Marcin Jurdzinski (University of Warwick, UK)
 Joost-Pieter Katoen (RWTH Aachen University, Germany)
 Kai Lampka (Uppsala University, Sweden)
 Didier Lime (Ecole Centrale de Nantes, France)
 Nicolas Markey (LSV / CNRS, Paris, France)
 David Parker (University of Birmingham, UK)
 Ocan Sankur (Universite Libre de Bruxelles, Belgium)
 Ana Sokolova (University of Salzburg, Austria)
 Oleg Sokolsky (University of Pennsylvania, USA)
 P.S. Thiagarajan (National University of Singapore,
 Singapore)
 Louis-Marie Traonouez (IRISA / INRIA Rennes, France)
 Ashutosh Trivedi (IIT Bombay, India)
 Frits Vaandrager (Radboud University Nijmegen, Netherlands)
 Enrico Vicario (University of Florence, Italy)
 Sergio Yovine (CONICET, Argentina)
 
 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
 -----
 
 FORMATS 2014 will take place in Florence, Italy as part of
 FLORENCE 2014, a one-week scientific event on formal and
 quantitative methods for the development of dependable and
 performing systems:
 
 http://www.florence2014.org/
 
 It will be held in Florence during the week 8-12 September 2014,
 and it will co-locate five major conferences in the areas of
 formal and quantitative analysis of systems, performance
 engineering, computer safety, and industrial critical
 applications.
 
 All the conferences will take place at the Aeronautical Sciences
 School of the Italian Air Force, inside the monumental and
 historical park of Cascine in the city of Florence.
 
 Colocated events
 ----------------
 
 QEST: International Conference on Quantitative Evaluation of
 SysTems
 
 SAFECOMP: International Conference on Computer Safety,
 Reliability and Security
 
 EPEW: European Workshop on Performance Engineering
 
 FMICS: International Workshop on Formal Methods for Industrial
 Critical Systems