Keynote Speech. Formal Methods Applied to Software Production (A.G. Fraser). Session I.A: Testing Theory. Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols (R.E. Miller, S. Paul). A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach (C.-J. Wang, M.T. Liu). Session I.B: Testability. Testing Probabilistic and Nondeterministic Processes (W. Yi, K.G. Larsen). Testability of Formal Specifications (S.P. van de Burgt, J. Kroon, A.M. Peeters). Session I.C: Specification. Structuring Protocols Using Exceptions in a LOTOS Extension (J. Quemada, A. Azcorra). Formal Model of a High Speed Transport Protocol (G.M. Lundy, R.C. McArthur). Session I.D: Specification. On Modelling and Reasoning About Hybrid Systems (R.C. Sekar, Y.-J. Lin, S. Narain). A Queue Model Relating Synchronous and Asynchronous Communication (J. Tretmans, L. Verhaard). Invited Paper. Protocol Development Success Stories: Part I (H. Rudin). Session II.A: Implementation. From Service Specification to Protocol Entity Implementation - An Excercise in Formal Protocol Development (C. Dendorfer, R. Weber). Development of Satellite Communication Networks Based on LOTOS (A. Fernández, C. Miguel, L. Vidaller, J. Quemada). Session II.B: Conformance Testing. A Test Derivation Method Based on Exploiting Structure Information (R.J. Velthuys, J.M. Schneider, G. Zörntlein). Automatic Test Generation for Protocol Data Aspects (E. Kwast). Session II.C: Testing Theory. Test Suite Generation from a FSM with a Given Type of Implementation Errors (A. Petrenko, N. Yevtushenko). Improvements in UIO Sequence Generation and Partial UIO Sequences (W. Chun, P.D. Amer). Session II.D: Conformance Testing. Computing Diagnotic Tests for Incorrect Processes (U. Celikkan, R. Cleaveland). Automated Validation of TTCN Test Suites (U. Bär, J.M. Schneider). Invited Paper. Formal Methods in Conformance Testing: Status and Expectations (J.-P. Favreau, D. Hogrefe, J. Kroon). Session III.A: Conformance Testing. Testability in the Context of SDL (J. Ellsberger, F. Kristoffersen). A Common Semantics Representation for SDL and TTCN (T. Walter, J. Ellsberger, F. Kristoffersen, P. v.d. Merkhof). Session III.B: Verification. Coverage Preserving Reduction Stategies for Reachability Analysis (G.J. Holzmann, P. Godefroid, D. Pirottin). The Two-Dimensional Window Protocol (M.G. Gouda). Session III.C: Conversion and Routing. Module Composition and Refinement with Applications to Protocol Conversion (K.L. Calvert, C. Alaettino&gcaron;lu, A. Udaya Shankar).