[Prev][Next][Index][Thread]
FMOODS97 Final Call for Participation
-
To: types@cs.indiana.edu
-
Subject: FMOODS97 Final Call for Participation
-
From: "G.P.A.Fernandes" <gpaf@ukc.ac.uk>
-
Date: Tue, 10 Jun 1997 12:34:35 +0100
-
Delivery-Date: Tue, 10 Jun 1997 06:38:50 -0500
Find enclosed a Call for Participation and Programme for FMOODS'97.
Please forward this message to colleagues that might be interested.
We have attempted to remove duplicate email addresses, however
if you do receive multiple copies, please accept our apologies.
In addition, you should note that the date for advanced (reduced rate)
registration has been extended to 20th June.
- -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-==-=-=-=-=-=-=-=-=-=-=-=
Notice of Conference and Final 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.
The regular rate includes accommodation for the nights of: Sunday, Monday and
Tuesday.
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 20th June) (after 20th 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