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.