[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) %
% %
% %
% %
% %
% %
% %
% %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%