*----------------------------    TACAS'98     -------------------------

  *--- CALL FOR PAPERS                       CALL FOR PAPERS ---*

                     *****************************
                     *                           *
                     *         TACAS'98          *
                     *                           *
                     *****************************


                     First International Conference
                                 on


                         Tools and Algorithms 
                                 
             for the Construction and Analysis of Systems
                         
                    
                       March 31 - April 2, 1998 
 
                          Lisbon (Portugal)


SCOPE:
~~~~~


Many similar tools and algorithms have been independently developed in
various areas of computer science like automata and language theory,
verification and synthesis of hardware and software systems,
construction and analysis of real time systems, software engineering,
type and proof theory, logic and algebra.

TACAS is a 'community-independent' forum for discussion between the
researchers and developers interested in tools. In the focus are basic
principles and application-independent features of algorithms and
their implementation, with the aim to increase the reliability,
flexibility and efficiency of current tools by highlighting common
problems, heuristics, data structures, and solutions. In particular,
theoretical papers with a clear link to tool construction and tool
descriptions and applications with conceptual message are encouraged.

As TACAS addresses quite a heterogeneous audience, one of the major
selection criteria for papers and tool demonstrations is a widely
accessible presentation on a conceptual rather than technical
level. This requires authors to think about their techniques in a
wider context, which we believe is the key to a wider dissemination of
more and more professional tools. Moreover it establishes a
significant difference between TACAS contributions and typical
publications in the various specialized communities, where a large
common basis can be assumed.

REGULAR PAPERS AND REFEREED TOOL PRESENTATIONS ARE EQUALLY TREATED:

accepted contributions will receive the same space in the conference
schedule and in the proceedings. In addition, there will be informal
tool demonstrations during the breaks.

The topics of the workshop include:

- compositional verification and construction techniques;
- refinement-based methodologies;
- heterogeneous analysis;
- theorem-proving and model checking;
- analytical techniques for real-time, hybrid, probabilistic, and
  safety-critical systems;
- tool environments and tool architectures;
- applications and case studies


INVITED SPEAKER:
~~~~~~~~~~~~~~~

  Randy Bryant - Carnegie Mellon University (USA)
 
 
 
PROGRAM COMMITTEE:
~~~~~~~~~~~~~~~~~~
  Ed Brinksma (NL)
  Rance Cleaveland (USA)
  Fausto Giunchiglia (I)
  Susanne Graf (F)
  Tom Henzinger (USA) 
  Daniel Jackson (USA)
  Kurt Jensen (DK) 
  Kim Larsen (DK)
  Tiziana Margaria (D)
  Jens Palsberg (USA)
  Doron Peled (USA)  
  Scott Smolka (USA)
  Bernhard Steffen (D, chair)
  Frits Vaandrager (NL)


SUBMISSION INSTRUCTIONS:
~~~~~~~~~~~~~~~~~~~~~~~

Prospective authors are invited to submit an extended abstract for:

A) Regular papers

B) Tool presentations

Electronic submission via e-mail is strongly encouraged. Please send
an encapsulated postscript file which can be printed by any postscript
device to

       tacas98@fmi.uni-passau.de

Authors who cannot comply with these instructions should send five
copies of their submission to (postal address to be confirmed soon).

E-mail addresses and fax numbers of the authors should be included in
the submission. Authors will be notified of the decision of the
programme committee by e-mail.

Papers must be unpublished and not submitted for publication
elsewhere.  The final paper will be no more than 15 pages in the
Springer-Verlag format for Lecture Notes in Computer Science (the
series in which the proceedings will be published); see the back cover
of a recent volume for details or http://www.springer.de/author/


IMPORTANT DATES:
~~~~~~~~~~~~~~~~ 
  Deadline for Submission                 :         6 October  1997
  Notification to Authors                 :         8 December 1997
  Camera-ready Final Version              :        12 January  1998


ADDITIONAL INFORMATION:
~~~~~~~~~~~~~~~~~~~~~~~

Further information and updates are available via www at

     http://brahms.fmi.uni-passau.de/bs/organization/