FM-TOOLS 2000

[fmtools@bach.informatik.uni-ulm.de]

      [We apologize if you receive multiple copies of this message]


                   3rd CALL FOR PAPERS: FM-TOOLS 2000

                          The 4th Workshop on
                Tools for System Design and Verification

                          Reisensburg Castle near Ulm, Germany
               Monday 10 July - Thursday 13 July 2000

               *************************************************
               *  http://www.informatik.uni-ulm.de/pm/fmtools  *
               *************************************************


There is a growing awareness that tool support is needed to
develop high-assurance industry-size software/hardware systems. The
aim of this workshop is to provide a forum for researchers interested
in the use and development of tools which support the use of
mathematical techniques for the specification, development, analysis and
verification of systems. This workshop will be the fourth in a series
of biennial events devoted to this topic. The first three workshops
were held in in Kiel (1994), Bremen (1996) and Malente (1998),
Germany.  The workshop will take place at the `Reisensburg', a
beautiful castle near Ulm in South Germany.


TOPICS OF INTEREST

All topics which are relevant for developers or users of tools that
support formal modeling, analysis and verification of
hardware/software systems, in particular
 
  o Support for specification languages 
  o Interactive and automated verification 
  o System analysis and validation
  o Applications and case studies in various application domains
  o Comparison of tools
  o Combination of tools and techniques (e.g. formal vs. semiformal,
    software specification vs. engineering techniques)
  o Customizing tools for particular applications
  o New challenges


SUBMISSION

Authors are invited to submit an abstract not exceeding 5 pages
outlining ongoing research. The submission, in the form of a postscript
file, should be mailed to 

                  fmtools@informatik.uni-ulm.de

by April 30, 2000. The workshop will include the presentation of all
sent abstracts. Authors are invited to submit full papers after the
workshop. These will be subject to a formal refereeing process by the
program committee.  The selected papers will be published as a special
issue of the Journal of Universal Computer Science
(http://www.iicm.tu-graz.ac.at/jucs) by Springer Verlag Heidelberg.


DEADLINES

  o Deadline for abstracts:                     30 April     2000
  o Notification of acceptance	  
    for presentation:                           10 May       2000
  o Conference:                              10-13 July      2000
  o Deadline for full papers:                   1  September 2000


WORKSHOP COSTS

The conference fee will be ca. 80 DM (incl. a technical report). Accomodation
(full board) will be between 162 DM and 170 DM per day. 


PROGRAM CHAIR

Wolfgang Reif        (U Ulm, FRG)


PROGRAM COMMITTEE

Rudolf Berghammer    (U Kiel, FRG)
Nikolaj Bjorner      (Kestrel, USA)
John Harrison        (Intel, USA)
Jozef Hoomann        (U Nijmegen, NL)
Helene Kirchner      (LORIA, Fr)
Tobias Nipkow        (TU Muenchen, FRG)
Jan Peleska          (U Bremen, FRG)
Joseph Sifakis       (Verimag, Fr)
Martin Wirsing       (U Muenchen, FRG)


SUPPORTED BY

  o GI special interest group 0.1.7 Specification and Semantics
  o GI special interest group 1.2.1 Deduction systems
  o DFG programme 'Integrating Software Specification 
                    Techniques for Engineering Applications'


LOCAL ORGANIZATION /INFORMATION

Claudia Hammer
Wolfgang Reif    
Gerhard Schellhorn 

Abt. Programmiermethodik
Fakultaet fuer Informatik
Universitaet Ulm
D-89069 Ulm
schellhorn@informatik.uni-ulm.de
Tel. +49 731 502 4165