Xref: utzoo comp.specification:70 comp.protocols.misc:827 Path: utzoo!utgpu!news-server.csri.toronto.edu!clyde.concordia.ca!mcgill-vision!snorkelwacker!apple!mips!zaphod.mps.ohio-state.edu!uwm.edu!psuvax1!rutgers!bellcore!dduck!pk From: pk@dduck.ctt.bellcore.com (Peter Koppstein) Newsgroups: comp.specification,comp.protocols.misc Subject: PSTV X - 10th International Symposium Summary: Program and Registration Information Keywords: symposium, specification, IFIP, protocol, Ottawa Message-ID: <22977@bellcore.bellcore.com> Date: 7 May 90 18:34:06 GMT Expires: 15 Jun 90 04:00:00 GMT Sender: news@bellcore.bellcore.com Reply-To: LMLSL%UOTTAWA.BITNET@CUNYVM.CUNY.EDU Organization: Bellcore Lines: 229 References: TENTH INTERNATIONAL SYMPOSIUM ON PROTOCOL SPECIFICATION, TESTING AND VERIFICATION Sponsored by IFIP WG 6.1 Ottawa, Ont. Canada 12-15 June 1990. PROGRAM AND REGISTRATION INFORMATION E-MAIL VERSION 1990 - 5 - 7 Conference Chair: L. Logrippo, R.L. Probert, H. Ural University of Ottawa - Department of Computer Science Ottawa - Ont. Canada K1N 6N5 For program information: Phone: (613)-564-5450; Fax: (613)-564-9486; E-mail: LMLSL@UOTTAWA.BITNET For registration, hotel reservation information, and copies of the Symposium brochure, please contact Kathy Mahoney (see below). ------------------------------------------------------------------------- Program Committee: G.v. Bochmann (U. of Montreal, Canada), E. Brinksma (U. of Twente, NL), A . Danthine (U. of Liege, Belgium), M. Diaz (LAAS/CNRS, France), J. DeMeer (GMD FOKUS, FRG), R. Gotzhein (U. of Hamburg, FDG), M. Gouda (U. of Texas, USA), M. Hornbeek (BNR, Canada), C. Jard (U. of Rennes-IRISA, France), J. Linn (NIST, USA), R. Miller (U. of Maryland, USA), K. Okumura (IBM Tokyo Res. Lab, Japan), B. Pehrson (SICS, Sweden), J. Quemada (U. of Madrid, Spain), H. Rudin (IBM Zurich Res. Lab., Switzerland), K. Sabnani (AT&T Bell Labs, USA), B. Sarikaya (Concordia University, Canada), A.U. Shankar (U. of Maryland, USA), U. Uyar (AT&T Bell Labs, USA), S.T. Vuong (U. of British Columbia, Canada ------------------------------------------------------------------------ Tuesday, June 12 - Tutorial Day (parallel sessions) Session 1 (10:30 - 12:00) Graphic LOTOS. E. Najm (INRIA, France) High-Speed Protocols. K. Sabnani and B. Doshi (AT&T, USA) Session 2 (13:30 - 15:00) Z and its Applications. G. Rose (University of Queensland, Australia) ISDN Testing. W.M. Chan (BNR, Canada) Session 3 (15:30 - 17:00) Temporal Logic and its Applications. R. Gotzhein (University of Hamburg, FRG). Protocol Validation. Principles and Applications C. West (IBM Zurich Res. Lab., Switzerland) ------------------------------------------------------------------------ Wednesday, June 13 - Symposium (Day 1) (8:45) Symposium Opening George C. Smyth (Chairman and President, Bell-Northern Research) (9:00 - 10:30) Session 1 - SPECIFICATION AND DESIGN Chair: D. Hogrefe (University of Bern, Switzerland) P. King, G. Smith (University of Queensland, Australia). Formalisation of behavioural and structural concepts for communication systems. F.A. Stomp (University of Nijmegen, The Netherlands). A derivation of a broadcasting protocol using sequentially phased reasoning. R.L. Tenney (University of Massachusetts, U.S.A.). Modelling flow control in Estelle. (11:00 - 12:00) Invited Paper. Protocol Testing: The first ten years, the next ten years. D. Sidhu (University of Maryland, U.S.A.). (13:30 - 15:00) Session 2 - TESTING Chair: A.T. Dahbura (AT&T Bell Labs, U.S.A.) J. Pachl (IBM Zurich Research Laboratory, Switzerland). A notation for specifying test selection criteria. M.-S. Chen (IBM Watson Research, U.S.A.), Y. Choi (ETRI, S.Korea), A. Kershenbaum (Poly. University Brooklin, U.S.A.). Approaches utilizing segment overlap to minimize test sequences. S. Eswara, T. Berriman, P. VanHoutte and B. Sarikaya (Concordia University, Canada). Towards execution of TTCN test cases. (15:30 - 17:00) Session 3 - TESTING AND IMPLEMENTATION Chair: I.C. Davidson (Corporation for Open Systems) A. A. R. Cockburn, W. Citrin, R.F. Hauser, J. von Kaenel (IBM Zurich Research Laboratory, Switzerland). An environment for interactive design of communications architectures. N.P. Alfano, B. Kanungo (Bell-Northern Research, Canada). Development of an international standard for conformance testing X.25 DTEs. M. Bilgic and B.Sarikaya (Concordia University, Canada). An ASN.1 encoder/decoder and its performance (17:30 - 18:45) PANEL. Protocol Testing. M. Hornbeek (mod.), W.M. Chan, D. Dwyer, D. Su, U. Uyar. ------------------------------------------------------------------------ Thursday, June 14 - Symposium (Day 2) (9:00 - 10:30) Session 4 - IMPLEMENTATION AND SPECIFICATION Chair: N. Shiratori (Tohoku University, Japan) P. van Eijk, H. Kremer, M. van Sinderen (University of Twente, The Netherlands). On the use of specification styles for automated protocol implementation from LOTOS to C. S. Nomura, T. Hasegawa, T.Takizuka (Telecomm. Softw. Lab. KDD Kamifukuoka, Japan). A LOTOS compiler and process synchronization manager. H. Ichikawa, K. Yamanaka, J. Kato (NTT Software Labs., Japan). Incremental specification in LOTOS. (11:00 - 12:00) Invited Paper. Protocol Verification: The first ten years, the next ten years. R.E. Miller (U. of Maryland, U.S.A.). (13:30 - 15:00) Session 5 - VERIFICATION AND DESIGN Chair: G.J. Holzmann (AT&T Bell Labs, U.S.A.) R. Langerak (University of Twente, The Netherlands). Decomposition of functionality: a correctness-preserving LOTOS transformation. K. Rudie, W.M. Wonham (University of Toronto, Canada). Supervisory control of communicating processes. Y. Souissi (Bull Corporate Research Centre, France). A modular approach for the validation of communication protocols using FIFO nets. (15:30 - 16:30) Session 6 - ALGEBRAIC TECHNIQUES Chair: J.P. Courtiat (LAAS-CNRS, France) J.F. Groote (Centre for Mathematics and Computer Science, The Netherlands). Specification and verification of real-time systems in ACP. F. Orava, J. Parrow (Swedish Institute of Computer Science). Algebraic description of mobile networks: an example (17:00 - 18:15) PANEL. Protocol Verification. B.Pehrson (mod.), M. Gouda, K. Sabnani, S. Smolka, C. West. ----------------------------------------------------------------------- Friday, June 15 - Symposium (Day 3) (9:00 - 10:30) Session 7 - LOGIC SPECIFICATION Chair: G.v. Bochmann (Universite de Montreal, Canada) R. Gotzhein (University of Hamburg, FRG). Specifying communication services with temporal logic. E. Snekkenes (Alcatel STK, Norway). Authentication in Open Systems. R. Duke, G. Rose, A. Lee (University of Queensland, Australia). Object-oriented protocol specification. (11:00 - 12:00) Invited Paper. Protocol Specification: The first ten years, the next ten years. C.A. Vissers (University of Twente, The Netherlands). (13:30 - 15:00) Session 8 - LOTOS AND VERIFICATION Chair: J. Quemada Vives (University of Madrid, Spain). A. Fantechi, S. Gnesi (C.N.R.-I.E.I., Italy), G. Ristori (Consorzio Pisa Ricerche, Italy). Compositional logic semantics and LOTOS H. Garavel (VERILOG, France), J. Sifakis (L.G.I.-I.M.A.G., France). Compilation and verification of LOTOS specifications. T. Bolognesi, (C.N.R.-C.N.U.C.E., Italy) F. Lucidi, S. Trigila (Fondazione Bordoni, Italy). >From timed petri nets to timed LOTOS. ---------------------------------------------------------------------- REGISTRATION INFORMATION - All amounts in Canadian Dollars Conference Registrar: Kathy Mahoney Ottawa-Carleton Research Institute 340 March Road, 4th Floor Kanata, Ont. K2K 2E4 Tel: (613)592-8160 Fax: (613)592-8163 Prior to May 11, /90 Late Registration Tutorial Only $160 $171 Symposium Only $330 $400 Tutorial & Symposium $400 $450 Students $150 $150 Please send cheque or money order in Canadian Dollars payable to: Ottawa-Carleton Research Institute It is possible to pay by credit card, by calling number above. HOTEL RESERVATION: Chateau Laurier Hotel 1 Rideau Street Ottawa, Ont. Canada K1N 8S7 Single $120/night, double $135/night Dial toll-free 800-268-9411 (Canada) or 800-828-7447 (USA) or direct 613-232-6411. A block of rooms will be kept until May 11, 1990. Please reference 1990 IFIP - WG6.1. Book early to avoid disappointment. Peter (201) 699-7370, pk@ctt (Internet: pk@bellcore.bellcore.com; UUCP: ...{mcvax,rutgers}!bellcore!pk)