IFIP Working Group 2.2 Meeting
25 - 29 September 2000, Oldenburg, Germany.

Here is the list of talks presented with the links to their abstracts (and to the data on the participants)

• Davide Sangiorgi
  Controlling Interference in Ambients
• Wojciech Penczek
  Efficient methods for model checking of Timed Petri Nets
• Igor Walukiewicz
  Deciding low levels of the mu-calculus alternation hierarchy
• Amir Pnueli
  Sticks and Stones: Making the Most of a Single Unbounded Dimension
• Thematic half-day on Beyond Finite State Model Checking with an introduction by Bernhard Steffen and presentations by Javier Esparza, Kim G. Larsen and Y. Lakhnech.
• Marta Z. Kwiatkowska
  Verifying Soft Deadlines with probabilistic Timed Automata
• Georghe Stefanescu
  Using space-time duality to structure interaction systems
• Hans Langmaack
  On preservation of relative correctness
• Amir Pnueli
  Compositional Model Checking
• Juri Vain
  Fault tolerant design in OUN specification language
• Catuscia Palamidessi
  Probabilistic asynchronous $\pi$-calculus
• Philippe Darondeau
  Realizing HMSC's by Distributable PN's
• Masahiko Sato
  $\alpha$: A purely functional language with imperative language inside