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.