[FM-India] FORMATS 2016 - Last Call for Papers

Madhavan Mukund madhavan at cmi.ac.in
Tue Apr 5 18:40:02 IST 2016

 Date: Tue, 5 Apr 2016 08:47:46 +0200
 From: Sebastian Gerwinn <sgerwinn at tc.informatik.uni-oldenburg.de>
 To: fmindia at cmi.ac.in
 Subject: FORMATS 2016 - Last Call for Papers
 [ Apologies for cross posting ]
                             FORMATS 2016
                   14th International Conference on
              Formal Modeling and Analysis of Timed Systems
                       Last Call for Paper
 FORMATS'16 takes place at Hotel Chateau Laurier in Québec City,
 Canada, where it is colocated with CONCUR'16 and QEST'16.
 Important Dates
 Abstract Submission (required before paper submission): April 15, 2016
 Paper Submission: April 22, 2016
 Notification: June 4, 2016
 Final paper due: June 11, 2016
 Conference: August 24-26, 2016
 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:
 The proceedings of FORMATS'16 will be published by Springer in the
 Lecture Notes in Computer Science series. 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.
 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)
 Oleg Sokolsky, (U. Pennsylvania, USA)
 Ufuk Topcu, (U. Texas, USA)

More information about the FMIndia mailing list