IFIP Working Group 2.2 Meeting
23-27 September 1996 in Macau.

The meeting of the Working Group took place at the International Institute for Software Technology of the United Nations University in Macau, kindly hosted by Prof. D. Bjorner. Participants of the meeting included 12 members and 22 observers.

The technical sessions of the working group meeting comprised of 21 presentations followed by extensive discussions. This time the topics covered 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 links to their abstracts (and to the data on participants presenting the talks) follows.

WG 2.2 (darondeau@irisa.fr)