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

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.

• Egidio Astesiano (joint work with Gianna Reggio)
  Rewriting Logic and Labelled Transition Logic: Comparison and Cross Fertilization
• Jaco de Bakker
  Metric Semantics for Action Refinement.
• Egon Boerger
  Parnas Tables and Abstract State Machines
• Jifeng He
  Linking Theories in design of Multi-Target Hardware Compiler.
• Shigeru Igarashi
  ???
• Lesli Lamport
  How to Write a Proof?
• Hans Langmaack
  A Contribution to Goodenough's and Gerhart's Theory of Software Testing and Verification: Relation between strong Compiler Test and Compiler Implementation Correctness
• Kees Middleburg
  Semantic Models for SDL that Support its Timing Mechanism.
• Jay S. Moore
  Recent Commercial Applications of the ACL2 Mechanical Theorem Prover
• Peter Mosses
  Theory and Practice of Action Semantics.
• Madhavan Mukund
  Linear-Time Temporal Logics over Mazurkiewicz Traces
• Ernst-Ruediger Olderog (joint work with Cheryl Dietz and Henning Dierks)
  Design of Real-Time Systems: From CDs to PLCs via DC.
• Prakash Panangaden
  Semantic Foundations of Concurrent Constraint Programming
• Paritosh K. Pandya
  Recursion in Duration Calculus.
• Amir Pnueli
  Marrying Statecharts with Multi-Clock Formalisms
• Willem-Paul de Roever
  The Verification of Concurrency: from Noncompositional to Compositional Proof Methods.
• Masashiko Sato
  A typed lambda calculus with environments
• Tang Zhisong
  Some Features in XYZ System.
• Andrzej Tarlecki (joint work with D. Sannella)
  Mind the gap! Abstract versus concrete models of specifications.
• T. H. Tse
  Modelling and Visualizing Object-Oriented Systems: a NOODLE Approach
• Zhou Chaochen (joint work with Michael R. Hansen)
  An Adequate First Order Interval Logic