From owner-theorynt@LISTSERV.NODAK.EDU Wed Apr 23 14:45:19 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id OAA00598 for ; Wed, 23 Apr 1997 14:45:18 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id OAA15182; Wed, 23 Apr 1997 14:34:23 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.725E4A70@listserv.nodak.edu>; Wed, 23 Apr 1997 16:21:49 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 789681 for THEORYNT@LISTSERV.NODAK.EDU; Wed, 23 Apr 1997 16:21:46 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.6FC9E3F0@listserv.nodak.edu>; Wed, 23 Apr 1997 16:21:45 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 789668 for THEORY-A@LISTSERV.NODAK.EDU; Wed, 23 Apr 1997 16:21:43 -0500 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.6C1C1E30@listserv.nodak.edu>; Wed, 23 Apr 1997 16:21:39 -0500 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id NAA16350 for theory-a@listserv.nodak.edu; Wed, 23 Apr 1997 13:55:26 -0700 (PDT) Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <9704151423.AA27477@cypress.ukc.ac.uk> Date: Wed, 23 Apr 1997 13:55:25 PDT Reply-To: Theory-A - TheoryNet World-Wide Events , "G.P.A.Fernandes" Sender: TheoryNet List From: "G.P.A.Fernandes" Subject: FMOODS'97 program and Call for Participation Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 20202 - - ----------------------------------------------------------------------------- Notice of Conference and Call for Participation FMOODS'97 Canterbury, United Kingdom, 21st-23rd July, 1997 Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems Organized by the University of Kent at Canterbury Sponsored by IFIP and EPSRC - - ----------------------------------------------------------------------------- The second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems will be held at the University of Kent at Canterbury, 21st-23rd July, 1997. Canterbury lies just 60 miles from London, and 15 miles from the channel ports. Many Eurostar trains from Paris and Brussels stop at Ashford International station, from which there is a 20 min rail link to Canterbury. The conference includes talks by the following invited speakers: o Prof. Robin Milner, University of Cambridge, UK o Prof. Jeannette Wing, Carnegie Mellon University, USA o Prof. Elie Najm, ENST, Paris, France, and Jean-Bernard Stefani, CNET France Telecom, France The advent of Open Object-based Distributed Systems - OODS - brings new challenges and opportunities for the use and development of formal methods. New architectures and system models are emerging (e.g., the viewpoints of the ODP Reference Model) which require formal notational support. The objective of FMOODS is to provide an integrated forum for the presentation of research in several related fields, and the exchange of ideas and experiences in the topics concerned with the formal methods support for Open Object-based Distributed Systems. The proceedings of FMOODS'97 will be published by Chapman and Hall (the publishers of IFIP events). Delegates will receive a copy of the proceedings as part of the conference registration. To register for the conference, please complete and return the booking form together with appropriate payment. Details of the registration fees are available at: http://alethea.ukc.ac.uk/Dept/Computing/Research/NDS/FMOODS/ EPSRC are providing funds to support the attendance and travel of EPSRC funded postgraduate students. The WWW site provides information on how to obtain financial support available for students who wish to attend the conference. The conference will also include exhibitions by publishers, posters and leaflets of forthcoming events. Inquiries. Organisational inquiries about the conference can be sent to: fmoods97-request@ukc.ac.uk. - - ----------------------------------------------------------------------------- FMOODS'97 Local information =========================== Venue: The FMOODS'97 conference will be held on the campus of the University of Kent, Canterbury. The campus is situated on a hill overlooking the historic town of Canterbury. The campus is a short walk or bus ride >From the city centre. Canterbury: The beautiful, small medieval city of Canterbury has a warm and friendly atmosphere; its ancient streets and walkways are packed with second-hand bookshops, craft shops, pubs and restaurants. Wander around the centre and you're sure to find a pub or restaurant to suit your taste. Live music is played in several of the pubs throughout the week. Canterbury has modern shopping malls for the High Street chain-stores, two swimming pools, the famous county cricket ground, the Marlowe Theatre, a cinema and night clubs. Canterbury cathedral is one of the finest examples of perpendicular gothic architecture in the world. The University of Kent was founded in 1965 at Canterbury. The campus is built on 300 acres of parkland within walking distance of (and with a great view over) Canterbury city centre. Around Canterbury: The county of Kent has areas of great natural beauty with classic English villages, castles and seaside towns such as Whitstable, Herne Bay, Margate, Broadstairs and Ramsgate. The channel ports of Dover and Folkestone and the Channel Tunnel are 30 minutes drive from the University and there are excellent rail and motorway links to London, 56 miles to the north-west. Accommodation: Accommodation for the conference will be provided in one of the four University Colleges situated on campus about 5 minutes walk >From the conference itself. Each college includes a bar, dining room and other residential amenities. Parking will be available to conference delegates on campus. Information on local hotels can be provided to delegates on request should they wish to make their own arrangements for accommodation. Travel: Canterbury is 56 miles from London, and by rail there are two alternative routes: London (Victoria) to Canterbury East: Journey time approximately 85 minutes, or London (Charing Cross or Waterloo East) to Canterbury West: Journey time approximately 90 minutes. Taxis are available at both Canterbury stations or catch the regular bus service (taking approximately 14 mins) to campus. >From the continent, Canterbury is easily accessible by boat or the train (through the channel tunnel). Boats connect Calais or Boulogne to Dover, Folkestone or Ramsgate - approximately 75 minutes by ferry, 35 minutes by hovercraft. Ostend to Dover - approximately 219 minutes by ferry, 90 minutes by jetfoil. Direct trains from Dover Priory to Canterbury East every half hour on weekdays (hourly on Sundays). Journey time approximately 30 minutes. By the Channel Tunnel, cars can be carried on "Le Shuttle": Calais to Folkestone approximately 30 minutes. Eurostar trains link Paris and Brussels to London Waterloo, many of them stop at Ashford International from where trains can be caught to Canterbury West, journey time approximately 20 minutes. By road Canterbury is reached via the M2 and the A2 (London 56 miles; 89km). FMOODS'97 Information ===================== Programme Co-Chairs Howard Bowman and John Derrick The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, United Kingdom Email: H.Bowman,J.Derrick@ukc.ac.uk; Tel: + 44 1227 827913 (H.Bowman) or + 44 1227 827570 (J.Derrick); Fax: + 44 1227 762811. Local Arrangements Chair Olga Fernandes The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, United Kingdom Email: ocf@ukc.ac.uk; Tel: + 44 1227 764000 Fax: + 44 1227 762811. For details concerning publishers' stands, please contact John Derrick (contact information above). For other local information (e.g., posters or leaflets), please contact Olga Fernandes (local secretary) or the programme chairs (contact details above). Programme Committee Gul Agha (U. of Illinois, Urbana, USA), Patrick Bellot (ENST, Paris, France), Gregor Bochmann (U. Montreal, Canada), Howard Bowman (UKC, Kent, UK), Ed Brinksma (U. Twente, Netherlands), John Derrick (UKC, Kent, UK), Michel Diaz (LAAS-CNRS, Toulouse, France), Kokichi Futatsugi (Jaist, Ishikawa, Japan), Reinhard Gotzhein (U. Kaiserslautern, Germany), Haim Kilov (IBM T.J. Watson Research Center, USA), Guy Leduc (U. of Liege, Belgium), Luigi Logrippo (U. of Ottawa, Canada), Jan de Meer (GMD Fokus, Germany), Elie Najm (ENST, Paris, France), Oscar Nierstrasz (U. of Bern, Switzerland), Claudia Linnhoff-Popien (RWTH Aachen, Germany), Kerry Raymond (DSTC, Brisbane, Australia), Omar Rafiq (U. of Pau, France), Gerd Schuermann (GMD Fokus, Germany), Jacob Slonim (IBM, Toronto, Canada), Jean-Bernard Stefani (FT/CNET, Paris, France), Ben Strulo (British Telecom Research, Ipswich, UK), Sebastiano Trigila (F. Ugo Bordoni, Roma, Italy), Juan Quemada (ETSI Telecomunicacion, Madrid, Spain), Aki Yonezawa (University of Tokyo, Japan). ============================================================================= FMOODS'97 Provisional Programme ============================================================================= - - ----------------------------------------------------------------------------- Sunday, 20th July 1997 - - ----------------------------------------------------------------------------- 6:00pm - 9:00pm Registration 7:00pm - 8:00pm Dinner 8:00pm - 10:00 Welcome Reception - - ----------------------------------------------------------------------------- Monday, 21st July 1997 - - ----------------------------------------------------------------------------- 8:30 - 9:30 Registration 9:00 Opening Remarks 9:15 Session 1: Mobility and Pi-Calculus ----------------------------------- 9:15 - 10:45 Invited Talk: Robin Milner (Univ. Cambridge, UK) - The Pi-Calculus and its Applications Coffee Break 11:15 - 11:45 Calculus of Object Bindings Elie Najm and Abdelkrim Nimour (ENST, France) 11:45 - 12:15 A Calculus with Code Mobility Tatsurou Sekiguchi and Akinori Yonezawa (Univ. of Tokyo, Japan) 12:15 - 12:45 A Proof-Theoretic Approach to the Design of Object-Based Mobility Carlos H.C. Duarte (Imperial College, UK) Lunch 2:00 Session 2: Concurrent OO Specification and Programming ------------------------------------------------------ 2:00 - 2:30 CO-OPN/2: A Concurrent Object-Oriented Formalism Olivier Biberstein (Univ. of Geneva), Didier Buchs and Nicolas Guelfi (Swiss Federal Institute of Technology, Switzerland) 2:30 - 3:00 A control-flow analysis for a calculus of concurrent objects Paolo Di Blasio (Univ. of Roma, Italy), Kathleen Fisher (AT&T Labs, USA), Carolyn Talcott (Stanford Univ., USA) 3:00 - 3:30 Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic G. Denker and H.-D. Ehrich (Technical Univ. of Braunschweig) Coffee Break 4:15 Session 3: Actors ----------------- 4:15 - 4:45 A Set-Constraint-based analysis of Actors J-L. Colaco, M. Pantel and P. Sall'e (LIMA/ENSEEIHT/IRIT, Fr) 4:45 - 5:15 Actors and Virtual Time: an Experience using Time Warp, Timed Petri Nets and Cellular Networks Roberto Beraldi, Libero Nigro, Francesco Pupo (Univ. della Calabria, Italy) 5:15 - 5:45 Formalizing Timing Based QoS Constraints Using Actors Shangping Ren, Nalini Venkatasubramanian and Gul Agha (Univ. of Illinois, USA) - - ----------------------------------------------------------------------------- Tuesday, 22nd July 1997 - - ----------------------------------------------------------------------------- 9:00 Session 4: Distributed Systems: ODP and CORBA (I) ------------------------------------------------- 9:00 - 10:30 Invited Talk: Elie Najm (ENST, France) and Jean-Bernard Stefani (CNET, France) - Title to be announced Coffee Break 11:15 - 11:45 Using SDL to Develop CORBA Object Implementations Morgan Bjorkander (Telelogic AB, Sweden) 11:45 - 12:05 Meta Information Management Stephen Crawley (DSTC&DSTO, Aus), Scott Davis (DSTO, Aus), Jadwiga Indulska (DSTC & Univ. of Queensland, Aus), Simon McBride (DSTC, Aus) and Kerry Raymond (DSTC & CiTR Pty Ltd, Aus) 12:05 - 12:25 Improving the Development and Validation of Viewpoint Specifications N. Fischbeck, J. Fischer, E. Holz, M. v. Loewis, O. Kath, R. Schroeder (Humboldt Univ., Germany) Lunch 2:00 Session 5: OO Requirements Analysis and Design ---------------------------------------------- 2:00 - 2:30 Formal user-centred models Robert G. Clark (Univ. of Stirling, UK) and Ana M. D. Moreira (Univ. Nova de Lisboa, Portugal) 2:30 - 3:00 Approaches to the Specification of Object Associations Dunia Ramazani and Gregor v. Bochmann (Univ. of Montreal, Canada) 3:00 - 3:20 Exploring the Semantics of UML Type Structures with Z R.B. France (Florida Atlantic Univ., USA), J.-M. Bruel (Laboratorie IRIT/SIERA, France), M. M. Larrondo-Petrie, and M. Shroff (Florida Atlantic Univ., USA) Coffee Break 4:10 Session 6: Formal Specification (I) ----------------------------------- 4:10 - 4:40 Expressive flexibility in constraint-oriented specification: LOTOS and Co-notation Tommaso Bolognesi (CNR, Italy) 4:40 - 5:10 Interactive Abstract Machines Simone Veglioni (Univ. of Oxford, UK) 5:10 - 5:30 The State Based Description of Services Barbara Paech and Bernhard Rumpe (Technical Univ. of Munich) - - ----------------------------------------------------------------------------- Wednesday, 23rd July 1997 - - ----------------------------------------------------------------------------- 9:00 Session 7: Subtyping and Inheritance ------------------------------------ 9:00 - 10:30 Invited Talk: Jeannette Wing (Carnegie-Mellon University, USA) - Subtyping for Distributed Object Stores Coffee Break 11:15 - 11:45 Inheritance Anomaly - A Formal Treatment L. Crnogorac (Univ. of Melbourne, Aus), A. Rao (Australian AI Institute, Aus) and K. Ramamohanarao (Univ. of Melbourne, Aus) 11:45 - 12:15 On Behavioural Subtyping in LOTOS H. Bowman, C. Briscoe-Smith, J. Derrick (Univ. of Kent, UK), and B. Strulo (BT Research Labs., UK) 12:15 - 12:45 On the Specification, Inheritance, and Verification of Synchronization Constraints Neelam Soundarajan (Ohio State Univ., USA) Lunch 2:00 Session 8: Distributed Systems: ODP and CORBA (II) -------------------------------------------------- 2:00 - 2:30 Consistent semantics and Correct transformations for the ODP information and Computational models C. Bernardeschi (Univ. of Pisa, Italy), J. Dustzadeh (ENST, Fr), A. Fantechi (Univ. of Florence, Italy), E. Najm, A. Nimour, and F. Olsen (ENST, Fr) 2:30 - 2:50 Architectural Concepts within the Agent Paradigm: A Way to Separate Concerns to Open Distributed Systems Alioune Diagne (Univ. Pierre & Marie Curie, France) 2:50 - 3:10 A Conformance Relationship for Stream Interfaces Frank Eliassen (Univ. of Tromso, Norway) 3:10 - 3:30 Test Execution of Telecommunications Services Using CORBA Luiz Paula Lima jr. and Ana R. Cavalli (INT, France) Coffee Break 4:15 Session 9: Formal Specification (II) ------------------------------------ 4:15 - 4:45 CSP-OZ: A Combination of Object-Z and CSP Clemens Fischer (Univ. of Oldenburg, Germany) 4:45 - 5:15 Refining Concurrent MetateM Objects Michael Fisher (Manchester Metropolitan Univ., UK) 5:15 - 5:35 Applying LOTOS to the Design of TINA Applications Eckhart Koerner (Univ. of Liege, Belgium) and Linda Strick (GMD FOKUS, Germany) 5:40 FMOODS'97 Closing - - ------------------------------------------------------------------------------ - - ----------------------------------------------------------------------------- Booking information - - ------------------- The paper booking form is also available on-line in ASCII text form linked from the main conference URL under: http://alethea.ukc.ac.uk/Dept/Computing/Research/NDS/FMOODS/ Please send the booking form and specific queries concerning bookings to: Kim Worrallo The Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, United Kingdom Email: K.L.Worrallo@ukc.ac.uk; Tel: + 44 1227 764000 Fax: + 44 1227 762811. FMOODS'97 registration includes the following: o admission to the the FMOODS'97 technical sessions; o the FMOODS'97 proceedings published by Chapman and Hall; o an opening reception; o all lunches and dinners; o the conference banquet (except for student-rate registration); o full accommodation and breakfasts. A day rate is available for those wishing to book their own accommodation. FMOODS'97 Booking Form, University of Kent, 21-23 July 1997 =========================================================== Surname ..................... First name .................... Title ....... Organisation ................................................................ Address ..................................................................... ............................................................................. Postcode .................... Country ...................................... Telephone ................. Fax ................. Email ................... Arrival Date ........................ Departure Date ....................... Please indicate any dietary or other requirements: Vegetarian? ................... Other ...................................... Advance Late (until 2nd June) (after 2nd June) Regular.................................[ ] 320 pounds [ ] 360 pounds Student (1).............................[ ] 250 pounds [ ] 270 pounds Regular day-rate........................[ ] 240 pounds [ ] 280 pounds Student day-rate (1)....................[ ] 180 pounds [ ] 200 pounds Extras (subject to availability): Extra FMOODS'97 proceedings.............[ ] 40 pounds Extra ticket for conference dinner......[ ] 45 pounds Extra accommodation.....................[ ] 30 pounds per night for nights of.................. (1) Please attach proof of student status. Total due............................... pounds Methods of Payment Accepted (all payments in Sterling, only). I would like to pay the registration fee for FMOODS'97 by [ ] bank transfer: Account number: 62726269; Account name: University of Kent; Name of bank: National Westminster, 11 The Parade, Canterbury, Kent CT1 2DT, England; UK bank sort code; 60.04.27. Net of bank charges. Conference Name: FMOODS'97 (please state this clearly). [ ] cheque (must accompany registration form): in STERLING, drawn on a UK bank account, payable to UNIKENT, net of bank charges. NO foreign cheques. [ ] credit card: [ ] MasterCard/Eurocard [ ] Visa Card holder's name ........................................ Card holder's address ........................................ Credit card number ........................................ Expiry date ............................................ Card holder's signature ........................................ (Sorry, no other credit cards accepted. For security reasons, credit card information should not be sent by email.) Credit card payment incurs charges, please add 2.5 percent to the total booking amount due. [ ] cash Cancellation by mail or fax is possible subject to a fee of 20\% if received by June 30th 1997. After that date, no refunds will be made. A substitute participant can be named at any time. Please specify any other requirements: ................... .......................................... Date Signature - - -----------------------------------------------------------------------------