[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP FORMATS'08 -- First Call -- Formal Modelling and Analysis of Timed Systems




-------------------------------------------------------------------- FORMATS'08 -- First Call for Papers --------------------------------------------------------------------

6th International Conference on Formal Modelling and  Analysis of
	    		    Timed Systems
	      Saint-Malo, France, September 15--17, 2008
	       (Co-Located with QEST'08 : www.qest.org)
                     http://formats08.inria.fr

Submission Deadline : May 12th, 2008

Objectives and Scope of the Conference:
---------------------------------------
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 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.

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.

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,
  optimisation, 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).

Submission and Publication:
---------------------------

The proceedings  of FORMATS'08  will be published  by Springer  in the
Lecture Notes in Computer  Scienceseries. Papers must contain original
contributions, be clearly  written, and include appropriate references
to and comparison with  related work. Simultaneous submission to other
conferences  with published  proceedings is  not  allowed. Submissions
should  not exceed  15 pages,  and  should be  formatted according  to
Springer  LNCS  guidelines.  If   necessary,  the  submission  may  be
supplemented with a clearly marked appendix, which will be reviewed at
the discretion of the program committee.

Program Committee:
------------------
 * Eugène Asarin, LIAFA, Univ. Paris 7 and CNRS, France
 * Patricia Bouyer, CNRS, LSV, France
 * Ed Brinksma, ESI, Univ. of Twente & Eindhoven Univ. of Technology,
   	 	   	The Netherlands
 * Franck Cassez, CNRS/IRCCyN, Nantes, France
 * Flavio Corradini, Univ. Camerino, Italy
 * Deepak D'Souza, CSA, IISc, Bangalore, India
 * Martin Fränzle, Univ. of Oldenbourg, Germany
 * Goran Frehse, Univ. Grenoble 1, Verimag, France
 * Claude Jard, ENS Cachan/IRISA, Rennes, France
 * Joost-Pieter Katoen RWTH Aachen Univ., Germany
 * Salvatore La Torre, Univ. of Salerno, Italy
 * Insup Lee, Univ. of Pennsylvania, USA
 * Rupak Majumdar, UCLA, USA
 * Brian Nielsen, CISS & Aalborg Univ., Denmark
 * Joël Ouaknine, Oxford Univ., UK
 * Paritosh Pandya, TIFR, Bombay, India
 * Paul Pettersson, Mälardalen Univ., Sweden
 * Jean-François Raskin, ULB, Belgium
 * P.S. Thiagarajan, National Univ. of Singapore
 * Stavros Tripakis, Cadence Research Labs and Verimag/CNRS,
   	      	Berkeley, USA
 * Frits Vaandrager, Radboud Univ. Nijmegen, The Netherlands
 * Farn Wang, National Taiwan Univ., Taiwan
 * Wang Yi, Uppsala Univ., Sweden
 * Tomohiro Yoneda, NII, Tokyo, Japan

Steering Committee:
-------------------
 * Rajeev Alur, Univ. Pennsylvania, USA
 * Flavio Corradini, Univ. Camerino, Italy
 * Kim G. Larsen, Aalborg Univ., Denmark
 * Oded Maler, Verimag, France
 * Walter Vogler, Univ. Augsburg, Germany
 * Wang Yi, Uppsala Univ., Sweden

Chairs:
-------
* Franck Cassez (CNRS/IRCCyN, Nantes, France)
* Claude Jard (ENS Cachan/IRISA, Rennes, France)

Important Dates:
----------------
-  Submission Deadline: May 12th, 2008
-  Notification: June 23rd, 2008

Contact Information:
--------------------
formats08@xxxxxxxx