FMOODS'96

Paris, France, March 4-6, 1996

First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems

List of Sponsors 

The Week 4 - 8 March, ENST, Paris, will host two workshops in sequence:

FMOODS'96 - Formal Methods for Open Object-based Distributed Systems (4 March am -- 6 March pm)

IWQoS'96 - 4th International workshop on Quality of Service (6 March pm -- 8 March pm)

Participants may register to one or both of these two events. See registration information at the end of the present call.

Information about the IWQoS'96 workshop (and program) may be obtained from jdm@fokus.gmd.de or Andreas Vogel

Table of Contents

• Objectives
• FMOODS'96 Program at a glance
• Venue
• FMOODS'96 Preliminary Program
• Organisation information
• Where is ENST
• Message and Telnet services for participants
• Transportation
• Registration information and registration form
• Hotel reservations