Conferences and Workshops

This section is devoted to calls for papers, announcements and reports of conferences, symposia, workshops and the like.

• Formal Description Techniques 94
  • Program Committee
  • Expression of Interest
  • Further Information
• Protocol Specification, Testing and Verification XIV
  • Scope and Objective
  • Venue
  • Tutorials
  • Program Committee
  • Further Information
• International Conference on Open Distributed Processing
  • Purpose
  • Areas of Interest
  • Information for Authors
  • Programme Committee
  • Sponsors
  • Key Dates
  • Further Information
  • Related Events
• AMAST 93 Proceedings