Friday, April 28, a.m. Room 34

11.00-11.30

Synthesis of Formal Specifications of Predicates: Why and How?
M. Franova, L. Popelinsky, CNRS & Universitè Paris Sud, Orsay, France

11.30-12.00

Presenting Equation Proofs in a Human-Oriented Style
H. Horacek, University of the Saarland, Saarbrücken, Germany

12.00-12.30

A Method of a Systematic System Analysis Using Temporal Logic
R. Klimek, Institute of Automatics, AGH, Krakow, Poland

12.30-13.00

Logical Analysis of Databases and Rule-Based Systems
A. Ligeza, Institute of Automatics, AGH, Krakow, Poland