AMAST Mail 1998
[Prev][Next][Index]

ARTS'99 Preliminary Call for Papers (plain text)

       ________________________________________________________
       |                                                      |
       |   Preliminary Call for Papers -- ARTS'99             |
       |                                                      |
       |      5th International AMAST Workshop on             |
       |      Real-Time and Probabilistic Systems             |
       |                                                      |
       |     May 26 -- 28, 1999, Bamberg, Germany             |
       |                                                      |
       |   http://www7.informatik.uni-erlangen.de/arts99/     |
       |______________________________________________________|

SCOPE AND AIMS

The aim of the ARTS'99 workshop is to bring together researchers and
practitioners interested in the design of real-time and probabilistic
systems.  The topics of interest include the whole spectrum of 
development and application of specification, verification, analysis 
and construction of real-time and probabilistic systems.  In the 
spirit of the AMAST movement, the workshop is intended to provide a 
forum for the presentation of approaches that are based on a clear 
mathematical basis.  Aspects of real-time and probabilistic systems 
for the workshop include (but are not limited to):

   &   Compositional construction and verification techniques 
   &   Automatic and machine-supported verification 
   &   Case studies 
   &   Formal methods for performance analysis 
   &   Semantics 
   &   Algorithms and tools 
   &   Hybrid systems

Previous editions of ARTS workshops have been organized by the
University of Iowa, USA (1993), University of Bordeaux, France
(1995), Brigham Young University, USA (1996), and the University
of the Balearic Islands, Spain (1997).
In 1999 the workshop takes place in Bamberg, a beautiful historic
city 25 miles north of Erlangen/Nurnberg.

IMPORTANT DATES:

Deadline for Submission: 30 October 1998
Notification to Authors: 29 January 1999
Final Version due: 26 February 1999

INVITED SPEAKERS: Two speakers (to be filled in)

SUBMISSIONS

Authors are invited to submit a paper not exceeding 6000 words 
(approx. 15 pages) preferably by e-mail to 

       arts99@informatik.uni-erlangen.de

Format: encapsulated Postscript that can be printed by any postscript
device.  E-mail address and fax number of the contact author should 
be included.  Alternatively, submissions may be sent by ordinary mail
(four copies required) to Joost-Pieter Katoen (ARTS'99), Dept. of 
Computer Science/IMMD 7, University of Erlangen-Nurnberg, 
Martenstrasse 3, D-91058 Erlangen, Germany.

PROCEEDINGS

It is our intention to publish the proceedings in the series Lecture 
Notes in Computer Science (LNCS) -- Springer-Verlag, and to have it
available at the workshop.  Previous proceedings appeared as LNCS 
1231 or as volumes in the AMAST Series of Computing.  Based on the 
quality of the submissions, it will be considered to publish selected 
papers in a special issue of a journal.

PROGRAM COMMITTEE

Rajeev Alur           (U. of Pennsylvania, USA) 
Jos Baeten            (Eindhoven U., NL) 
Christel Baier        (U. Mannheim, D) 
Miquel Bertran        (General Systems Development, ES) 
Antonio Cerone        (U. South Australia, AUS)
Rance Cleaveland      (North Carolina State U., USA) 
Jim Davies            (U. Oxford, UK) 
Colin Fidge           (U. Queensland, AUS) 
David de Frutos       (U. Madrid, ES)
Hubert Garavel        (INRIA Rhone-Alpes, F)
Constance Heitmeyer   (Naval Research Laboratory, USA) 
Tom Henzinger         (U. Berkeley, USA)
Jane Hillston         (U. Edinburgh, UK)
Joost-Pieter Katoen   (U. Erlangen, D, Chair)
Rom Langerak          (U. Twente, NL)
Kim G. Larsen         (Aalborg U., DK)
Diego Latella         (CNR-CNUCE, I)
Jonathan Ostroff      (U. York, CAN)
Steve Schneider       (Royal Holloway, UK)
Roberto Segala        (U. Bologna, I)
Walter Vogler         (U. Augsburg, D)

STEERING COMMITTEE

Manfred Broy          (U. Munich, D)  
Edmind Clarke         (Carnegie-Mellon, USA) 
Ulrich Herzog         (U. Erlangen, D)   
Zohar Manna           (U. of Stanford, USA)   
Maurice Nivat         (U. Paris 6, F)
Amir Pnueli           (Weizmann Institute, ISR)    
Teodor Rus            (U. of Iowa, Chair, USA)
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]