IFIP Working Group 2.2 Meeting
22 - 26 September 1997 in Graz, Austria.

The 1997 meeting of the Working Group took place in Graz, Austria, kindly hosted by Prof. P. Lucas. It will followed the FME'97 conference, which will took place in Graz during the preceding week.

Participants of the meeting included 13 members and 14 observers.

The technical sessions of the working group meeting comprised of 23 presentations followed by extensive discussions. This time the topics covered verification of software as well as ... reactive systems, temporal logic, real-time and hybrid systems, semantics of concurrency, system analysis, design and verification as well as semantics of specifications, problems in the lambda-calculus, and tools for proof development.

A list of the talks with the links to their abstracts (and to the data on the participants presenting talks) follows.

WG 2.2 (darondeau@irisa.fr)