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

CALL FOR PARTICIPATION: FM-TOOLS 2002



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

                       CALL FOR PARTICIPATION: FM-TOOLS 2002

        The 5th Workshop on Tools for System Design and Verification


                    Reisensburg Castle, Günzburg, Germany
                   Monday 15.7.2002 - Wednesday 17.7.2002
            http://www.informatik.uni-augsburg.de/swt/fmtools2002


The 5th workshop on Tools for System Design and Verification (FM-TOOLs 2002)
will take place at the `Reisensburg', a beautiful castle near Ulm in 
South Germany from  Monday 15 July - Wednesday 17 July 2002. We will
have 15 presentations and an invited talk, ranging from tool support for 
specification languages, automated test generation, model checking and 
interactive verification. To register, please fill the registration
form at the end of this mail and send it to

           fmtools@informatik.uni-augsburg.de

Rooms at the Reisensburg are limited, and allocated on a first-come
first-serve basis. The room rates given in the form refer to
the Reisensburg only. Additional rooms are available in Guenzburg,
a small town close to the Reisensburg. Travel information
can be found on our WWW page

     ************************************************************
     *  http://www.informatik.uni-ausgburg.de/swt/fmtools20002  *
     ************************************************************


WORKSHOP PROGRAMME


Monday, July 15
===============


  08.50 - 09.00
                  Workshop Opening


  Session 1 (Simulation)
  ----------------------

  09.00 - 09.40          
                 Andreas Krebs, Jürgen Ruf
                   Optimized Temporal Logic Compilation

  09.40 - 10.20          
                 Benoît Fraikin, Marc Frappier
                   EB3PAI: an interpreter for the EB3 specification language

  10.20 - 10.50
                 Break

  Session 2 (Functional Programs)
  -------------------------------

  10.50 - 11.30  
                 Walter Guttmann, Helmuth Partsch, 
                 Wolfram Schulte, Ton Vullinghs
                   Tool Support for the Interactive Derivation 
                   of Formally Correct Functional Programs

  11.30 - 12.10  Peter Padawitz
                   Expander2 - Towards a Workbench 
                   for Interactive Formal Reasoning

  12.10 - 14.10  Lunch

  Session 3 (Interactive Verification)
  --------------------------

  14.10 - 14.50  
                 Andreas Thums, Gerhard Schellhorn, Wolfgang Reif
                   Comparing Fault Tree Semantics

  14.50 - 15.30
                 Achim D. Brucker, Stefan Friedrich, 
                 Frank Rittinger, Burkhart Wolff
                   HOL-Z 2.0: A Proof Environment for Z-Specifications

  15.30 - 16.00  Break

  Session 4 (Case Studies)
  ------------------------------------

  16.00 - 16.40     
                 Christoph Walther, Stephan Schweitzer
                   A Machine Supported Proof of the Unique
                   Prime Factorization Theorem

  16.40 - 17.20     
                 Achim D. Brucker, Frank Rittinger, Burkhart Wolff
                   The CVS-Server Case Study: 
                   A formalized Security Architecture
  18.30     
                 Dinner

  ------------------------------------------------------------------------

Tuesday, July 16

  Session 1 (Model Checking)
  --------------------------

  09.00 - 09.40         
                 H. Ehrich, M. Kollmann, R. Pinger
                   Distributed Model Checking

  09.40 - 10.20         
                 Alexander Knapp, Stephan Merz
                   Model Checking and Code Generation for UML
                   State Machines and Collaborations

  10.20 - 10.50
                 Break

  Session 2 (Case Studies)
  ------------------------

  10.50 - 11.30  
                 Stefan Bisanz, Aliki Tsiolakis 
                   Test Development in Virtual Environments

  11.30 - 12.10  
                 Ashok Sreenivas
                   Towards Formal Test Specifications

  12.10 - 14.10 
                 Lunch

  Session 3 (Invited Talk)
  ------------------------

  14.10 - 15.10  
                 Ernst-Rüdiger Olderog

  15.10 - 15.40  Break

  Session 4 (Tools Demonstration)
  -------------------------------
  15.40 - 17.20 
                 Tools Demonstration

  18.30     Dinner

  ------------------------------------------------------------------------

Wednesday, July 17
==================

  Session 1 (Java)
  ----------------

  09.00 - 09.40
                 Nicole Rauch
                   Precondition Generation for a Java Subset

  09.40 - 10.20  
                 Bernhard Beckert, Steffen Schlager
                   Integer Arithmetic in the Specification
                   and Verification of Java Programs

  10.20 - 10.50
                 Break

  Session 2 (Case Studies)
  ------------------------

  10.50 - 11.30  
                 R. Malik, R. Mühlfeld
                   A Case Study in Verification of UML
                   Statecharts: the PROFIsafe Protocol

  12.10 - 14.10  
                 Lunch



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%								%
%   FM-TOOLS 2002 REGISTRATION REQUEST FORM			%
%   (Monday July 15 - Wednesday July 17)			%
%								%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%								%
%   Personal Information					%
% 								%
%   Title:         _________________________________________	%
%								%
%   Surname:       _________________________________________	%
%								%
%   Given name:    _________________________________________	%
%								%
%   Affiliation:   _________________________________________	%
%								%
%   Postal address:						%
%								%
%   ________________________________________________________	%
%								%
%   ________________________________________________________	%
%								%
%   ________________________________________________________	%
%								%
%   ________________________________________________________	%
%								%
%   ________________________________________________________	%
%								%
%   Phone number:  _________________________________________	%
%								%
%   Fax number:    _________________________________________	%
%								%
%   Email: _________________________________________________	%
%								%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%								%
%   Options (Accomodation, Fees etc.)				%
%								%
%           Conference Fee					%
%           (incl. technical report)		   50,00 Euro	%
%								%
%           Accomodation at the Reisensburg	       	        %
%     	    (from Breakfast July 15                             %
%            until Breakfast on July 17)	  234,20 Euro	%
%                                                               %
%								%
%   (   )   Additional Lunch on July 17            13,80 Euro	%
%								%
%								%
%								%
%						----------	%
%                                 Total Amount			%
%						==========      %
%								%
% Payment at the workshop. Conference fee cash. Accommodation	%
% cash, by eurocheque, VISA or EUROCARD.       	         	%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%								%
%  Questions/Comments/Special Needs (e.g. vegetarian food)      %
%								%
%								%
%								%
%								%
%								%
%								%
%								%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%