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

[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:24:21 +0200 (CEST)
 Subject: FORMATS 2014: Call for papers (EXTENDED DEADLINE)
 
 [ Apologies for cross posting ] 
 
 ----------------------------------------------------------------- 
 
 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 14, 2014 
 
 * Paper submission: April 21, 2014 
 
 * 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 
 
 ------=_Part_1471259_1293309710.1395916143730 
 Content-Type: text/html; charset=ISO-8859-1 
 Content-Transfer-Encoding: 7bit 
 
 <html><body><div style="font-family: times new roman, new york, times, serif; font-size: 12pt; color: #000000"><div><pre>[ Apologies for cross posting ] 
 
 ----------------------------------------------------------------- 
 
 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