IFIP Working Group 2.2 Meeting
28 June - 1 July 1999, Udine, Italy.

The meeting immediately preceded FLoC'99 to take place in Trento.

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

• Javier Esparza
  ...
• Davide Sangiorgi
  Coinductive techniques based on bisimulation
• Egon Boerger
  Modular Design for the Java Virtual Machine Architecture
• Stephan Merz
  A More Complete TLA
• Anders P. Ravn
  Evolution in Action Systems -- Hybrid Action Systems
• Wojciech Penczek
  Partial order reductions preserving simulations
• Emil Sekerinski
  On Class Refinement
• Gheorghe Stefanescu
  Mixed network algebra: towards an algebraic calculi for software components.
• Don Sannella
  Pre-logical relations
• F.S. de Boer
  Reasoning about the correctness of object-oriented programs
• Francesca Rossi
  Recent results on soft constraint solving and programming
• Masami Hagiya
  Abstact Model Checking --- Algorithms and Applications
• Razvan Diaconescu
  Behavioural methodlogies for algebraic specification and verification
• Masahiko Sato
  A simply typed context calculus
• Marta Z Kwiatkowska
  Issues in automatic verification of probabilistic systems
• Francesco Parisi Presicce
  Refinement (and modules) for graph transformation systems
• Michel Bidoit
  Observational Logic
• K.V.S. Prasad
  Can rendezvous implement broadcast?
• Igor Walukiewicz
  Is there a place for trace logics?
• Gabriel Ciobanu
  Decomposing input guards in pi-calculus
• He Jifeng
  The least completion approach to automatically induce the enriched semantics
• Ugo Montanari
  Higher-order tiles
• Mariangiola Dezani-Ciancaglini
  Mutating Objects
• Peter D. Mosses
  Modular SOS
• Rocco De Nicola
  A kernel language for agents, interaction and mobility
• Simone Martini
  Some new results on the complexity of optimal reduction in the lambda-calculus
• Philippe Darondeau
  Perspectives of Petri Net Synthesis
• J Strother Moore
  Proving Theorems about Java Byte Code
• Amir Pnueli
  Abstraction and composition: from infinite to finite-state systems
• Andrzej Tarlecki
  Architectural specifications in CASL