AMAST '95:
Advance Program
*********************************************
* ***************************************** *
* * * *
* * * *
* * FOURTH INTERNATIONAL CONFERENCE ON * *
* * * *
* * * *
* * ALGEBRAIC METHODOLOGY * *
* * * *
* * AND * *
* * * *
* * SOFTWARE TECHNOLOGY * *
* * * *
* * AMAST '95 * *
* * * *
* ***************************************** *
*********************************************
July 3-7, 1995
Concordia University
Montreal, Canada.
Preliminary Program
"""""""""""""""""""""""""""""""""""""""""""""""
" "
" AMAST'95 GOALS AND SCOPE OF THE CONFERENCE "
" "
"""""""""""""""""""""""""""""""""""""""""""""""
A major goal of the AMAST Conference consists in putting software development
technology on firm, mathematical foundations. Particular emphasis is given to
algebraic and logical foundations of software technology. An eventual goal is
to establish algebraic and logical methodology as a practically viable and
attractive alternative to the prevailing ad-hoc approaches to software
engineering. The benefits accruing from such formal foundations will be clearly
wide reaching and both academia and industry are expected to benefit from this.
The previous three editions of AMAST were held at the University of Iowa (1989
and 1991) and at the University of Twente, The Netherlands in 1993. During the
previous three meetings, AMAST has attracted researchers and practitioners
interested in algebra, logic, formal methods, specification and verification
of concurrent and reactive systems, constraint programming, semantics, category
theory, logic programming, process algebra, etc.
Since 1993, an organizational novelty of AMAST has been to promote simultaneous
co-operative effort between Europe and America in this venture, bringing the
conference to a truly international level. In addition, the first day of the
conference is dedicated to Mathematics Education for Software Engineers.
Following this successful trend, the fourth AMAST International Conference is
to be held at Concordia University, Montreal, Canada, during July 3-7, 1995.
Montreal is renowned for its cultural richness, numerous museums, and its
unique multicultural setting, to name a few. Montreal offers a variety of
attractions for tourists throughout the year. The highlights in July include
the world-famous International Jazz Festival.
#################################
# #
# TECHNICAL PROGRAM AT A GLANCE #
# #
#################################
___________________________________________________________________________________
"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
| Time | July 3 | July 4 | July 5 | July 6 | July 7 |
|____________|_____________|____________|____________|_____________|______________|
| | | | | | |
|08:00-08:30 | | | | | |
|____________| |Registration|____________|_____________|______________|
| | | | | | |
|08:30-08:45 |Registration | | | | |
|____________| |____________| |_____________|______________|
| | | | | | |
|08:45-09:00 | | | | | |
|____________|_____________| | |_____________|______________|
| | | Welcome | | | |
| | | | | | |
|08:50-09:00 |Welcome | | K.R. Apt | | |
|____________|_____________|____________| |_____________|______________|
| | | | | | |
|09:00-09:30 | | | |J.A. Goguen &| |
|____________|David Gries |Ewa Orlowska|____________| |Rohit Parikh |
| | | | |R. Diaconescu| |
|09:30-10:00 | | | Discussion | | |
|____________|_____________|____________|____________|_____________|______________|
| | | | | | |
|10:00-10:30 |Discussion |Discussion |Refreshments|Discussion |Discussion |
|____________|_____________|____________|____________|_____________|______________|
| | | |Session 4: | | |
|10:30-11:00 |Refreshments |Refreshments|......... |Refreshments |Refreshemnts |
|____________|_____________|____________| Logic |_____________|______________|
| | | |Programming |Session 5: | |
|11:00-11:30 | |Session 1: | & |.......... |Session 8: |
|____________|J. Wing |.......... |Databases |Software |.......... |
| | | | | |Concurrent |
|11:30-12:00 | |Algebraic | |Technology |and Reactive |
|____________|_____________|and Logical |____________|_____________|Systems |
| | |Foundations | | |_____________ |
|12:00-12:30 |Discussion | | | | LUNCH |
|____________|_____________|____________|____________|_____________|______________|
| | |
|12:30-13:30 | L U N C H |
|____________|_________________________'''''''''__________________________________|
| | | |
|13:30-14:00 | |Session 9: |
|____________|______________ ____________ ____________ _____________|.......... |
| | | | | | |
|14:00-14:30 | |Session 2: |Research |Session 6: |Software |
|____________|Dan Craigen |.......... | |.......... | |
| | | |Prototype |Algebraic |Technology |
|14:30-15:00 | |Concurrent | | | |
|____________|______________| and |Demos |and Logical |_____________|
| | |Reactive | | | |
|15:00-15:30 |Discussion |Systems | |Foundations |Refreshments |
|____________|______________|____________| |_____________|_____________|
| | | | | |Session 10: |
|15:30-16:00 |Refreshments |Refreshments| |Refreshments |........... |
|____________|______________|____________|____________|_____________| |
| | | | | |Algebraic |
| | |Session 3: | |Session 7: | |
|16:00-16:30 | |......... |Refreshments|.......... |and Logical |
|____________|Ted Ralston | |____________|Concurrent | |
| | |Software | | and |Foundations |
|16:30-17:00 | |Technology | Demo | Reactive | |
|____________|______________|____________| | |_____________|
| | | |Presentation| Systems | |
|17:00-17:30 |Discussion | | | | |
|____________|______________|____________|____________|_____________|_____________|
| | | Demo | |
|17:30-18:30 | |Presentation | |
|____________|________________________________________|_____________|_____________|
| | | | | | |
|19:00 | |Conference | | | |
|____________|_______________| |____________|_____________|_____________|
| | |Reception | | | |
|19:30 | |.......... | | | |
| | Advance | | Banquet | Concert | |
|____________| | | & | |_____________|
| | Registration |( U Q A M )| Dinner |(Order | |
|21:00 | | | | Tickets) | |
|____________| and |___________| La Centre |_____________|_____________|
| | | | Sheraton | | |
|21:30 | Get-together | | | | |
|____________|_______________|___________|____________|_____________|_____________|
;;;;;;;;;;;;;;;;;;;;;;
; ;
; CONFERENCE VENUE ;
; ;
;;;;;;;;;;;;;;;;;;;;;;
Invited Talks and
Technical Sessions: Hall Building
D.B. Clarke Theatre
Concordia University
1455 de Maisonneuve Blvd. West
Directions: (Guy-Concordia Metro Station)
From the ground floor of the Hall Building take
the stairs (near Copy Centre) down to
the auditorium
Tools & Demos: J.W. McConnell Library Building
(opposite the Hall Building)
Concordia University
Department of Computer Science
1400 de Maisonneuve Blvd. West
Room LB-922 (9th Floor)
==========================================================================================
%%%%%%%%%%%%%%%%%%%%%%%
% %
% CONFERENCE TOPICS %
% %
%%%%%%%%%%%%%%%%%%%%%%%
Algebraic and Logical Foundations
algebraic logic
algebraic methodologies for languages and systems
logical frameworks for reasoning
category theory
relation algebra
logics of programs
Concurrent and Reactive Systems
linear and modal logics
algebraic approaches
object oriented models
modular verification
Software Technology
logic, functional, and object paradigms
specification languages and tools
formal specification case studies
abstraction for software documentation and reuse
theorem proving systems
integration of pragmatic and formal methods
Logic Programming and Databases
semantics
logic programming extensions
constraints and concurrency
program verification and transformation
temporal and deductive databases
========================================================================================
???????????????????????
? ?
? INVITED SPEAKERS ?
? ?
???????????????????????
Education Day: July 3, 1995
David Gries
Cornell University, USA
Using Equational Logic as a Tool
Jeannette M. Wing
Carnegie Mellon University, USA
Teaching Mathematics to Software Engineers
Ted Ralston and Dan Craigen
Ralston Research Associates and ORA Canada Corporation, USA and Canada
The Role of Education and Training in Industrial Application of
Formal Methods I & II
Conference Days: July 4 - July 7, 1995
Ewa Orlowska
Polish Academy of Science, Poland
Information Algebras
K.R. Apt
CWI and University of Amsterdam, The Netherlands
Verification of Logic Programs with Delay Declarations
Joseph A. Goguen and Razvan Diaconescu
Oxford University, UK
An Introduction to Category-based Equational Logic
Rohit Parikh
Brooklyn College of CUNY and CUNY Graduate Center, USA
Knowledge-Based Programming
=============================================================================================
::::::::::::::::::::::::::::::
: :
: ABSTRACTS OF INVITED TALKS :
: :
::::::::::::::::::::::::::::::
..................
: :
: Education Day :
:................:
Using Equational Logic as a Tool
David Gries
Cornell University, USA
Software tools and methods that approach being formal are not readily used by
programmers, software engineers, and even most computer scientists. We conjecture
that the reason for this is that the foundation of many formalisms - propositional and
predicate logic - has been viewed not as a useful tool but as an object of study.
Of course, there are avid users of mechanical verifiers and proof theorems, but
they are in the minority.
Logic is typically viewed as an object of study because that is the way it is
taught. Few discrete math texts, for example, embrace logic as "the glue that
binds together methods of reasoning, in all domains" and actually use it in
discussing all other topics.
We believe that logic CAN be taught as a useful mental tool, and in a way that
imparts appreciation for logic and rigorous proof. We believe that this is more
easily done with an equational logic - a logic based on substitution of equals
for equals and the kinds of calculations that people in many scientific
disciplines already perform - rather than on the more conventional natural
deduction.
This presentation will outline equational logic, explain its pedagogical
advantages, and discuss its application in software methodology.
Teaching Mathematics to Software Engineers
Jeannette M. Wing
Carnegie Mellon University, USA
Based on my experience in teaching formal methods to practicing and aspiring
software engineers, I present some of the common stumbling blocks faced when
writing formal specifications. The most conspicuous prevalent problem is learning
to abstract. I address all these problems indirectly by giving a list of hints to
specifiers. Thus this paper should be of interest not only to teachers of formal
methods but also to their students.
The Role of Education and Training in
Industrial Application of Formal Methods
Ted Ralston and Dan Craigen
Ralston Research Associates and ORA Canada Corporation, USA and Canada
During two one-year studies (one at MCC and the other funded by government), data
was collected on education and training background and requirements pertaining to
a number of cases of transfer of formal methods to industry. This paper reports
our observations and conclusions from these cases with reference to education and
training issues.
One of the purposes of the survey was to provide a more systematic record of
industrial experiences on a number of alleged deficiencies with the application of
formal methods. One of the alleged deficiencies we examined is that formal methods
require prodigious mathematical education and talent for their successful use. Our
interviews explored such issues as in-house company education, external education,
differences in curricula between North America and Europe, profiles of personnel
working on formal methods projects, and the role of tools as educational media.
{{{{{{{{{{{{{{{{{{{
{ }
{ Conference Days }
{ }
{{{{{{{{{{{{{{{{{{{
Information Algebras
Ewa Orlowska
Polish Academy of Science, Poland
Two paradigms of incompleteness of information are discussed manifested by
indiscernibility and orthogonality. Classes of algebraic systems are presented
that are models of the underlying information structures. The problem of
informational representability of algebras from the given classes is formulated
and discussed. An analogy is pointed out with information semantics of logical
systems.
Verification of Logic Programs with Delay Declarations
K.R. Apt
CWI and University of Amsterdam, The Netherlands
We study correctness of logic programs augmented with delay declarations. These
programs exhibit a highly involved control mechanism. In particular, we propose
proof methods allowing us to deal with occur check freedom, absence of errors in
presence of arithmetic operations, and absence of deadlock (sometimes called
floundering). These methods turn out to be simple modifications of the
corresponding methods dealing with Prolog programs. We also point out
difficulties concerning proofs of termination. (joint work with I. Luitjes)
An Introduction to Category-Based Equational Logic
Joseph A. Goguen and Razvan Diaconescu
Oxford University, UK
This paper surveys category-based equational logic, which generalizes both the
theoretical and computational aspects of equational logic and its model theory
(general algebra) far beyond terms, so as to include: Horn clause logic, with and
without equality; all variants of order and many sorted equational logic, including
working modulo a set of axioms; constraint logic programming over arbitrary
user-defined data types; and any combination of the above. This unifies several
important computational paradigms, and opens the door to still further
generalizations. Results include completeness of deduction, a Herbrand theorem,
completeness of paramodulation, generic modularization techniques, and a model
theoretic semantics for extensible constraint logic programming.
Knowledge-Based Programming
Rohit Parikh
Brooklyn College of CUNY and CUNY Graduate Center, USA
One of the reasons for studying the notion of knowledge is that it is expected
to be of use in distributed systems. Of particular interest are programs
which explicitly include tests for knowledge. These tests can be non-trivial
since knowledge is defined relative to the set of all the worlds (runs) which
are possible relative to a processor. This set is determined both by the
local state of the processor and the global protocol (set of all possible runs).
Hence the knowledge part of a knowledge based program can itself involve some
computation. Nonetheless, such programs can express succinctly the intuition
behind ordinary programs and give insight.
Such programs, under the title of knowledge based protocols, were introduced
by Halpern and Fagin and have been studied by various researchers since then,
including Dwork, Moses, Tuttle and others. We give a brief survey of the
existing literature and make a few suggestions of our own.
===============================================================================================
+++++++++++++++++++++++++++++++
+ +
+ EDUCATION DAY ACTIVITIES +
+ +
+++++++++++++++++++++++++++++++
MONDAY, JULY 3, 1995
~~~~~~~~~~~~~~~~~~~~
08:30-8:50 Registration
08:50-09:00 Welcome
09:00-10:00 Invited Talk
Using Equational Logic as a Tool
David Gries
Cornell University, USA
10:00-10:30 Discussion
10:30-11:00 Refreshment Break
11:00-12:00 Invited Talk
Teaching Mathematics to Software Engineers
Jeannette M. Wing
Carnegie Mellon University, USA
12:00-12:30 Discussion
12:30-14:00 Lunch (on your own)
14:00-15:00 Invited Talk
The Role of Education and Training in Industrial
Application of Formal Methods Part I
Dan Craigen
ORA Canada Corporation, Canada
15:00-15:30 Discussion
15:30-16:00 Refreshment Break
16:00-17:00 Invited Talk
The Role of Education and Training in Industrial Application of
Formal Methods Part II
Ted Ralston, Ralston Research Associates, USA
17:00-17:30 Discussion
==================================================================================
`````````````````````````
` CONFERENCE SCHEDULE `
` `
`````````````````````````
MONDAY, JULY 3, 1995
````````````````````
19:30-21:30 Advance Registration for Conference Attendees and
Informal get-together
TUESDAY, JULY 4, 1995
`````````````````````
08:00-08:45 Registration
08:45-09:00 Welcome Address
09:00-10:00 Invited Talk
Information Algebras
Ewa Orlowska, Polish Academy of Science, Poland
10:00-10:30 Discussion
10:30-11:00 Refreshment Break
11:00-12:30 Session 1 Algebraic and Logical Foundations
Order-Sorted Algebraic Specifications with Higher-Order
Functions
Anne Elisabeth Haxthausen
Computer Resources International
Proving the Correctness of Behavioral Implementations
Michel Bidoit, Rolf Hennicher
LIENS-CNRS
On the Decidability of Process Equivalences for the Pi-Calculus
Mads Dam
Swedish Institute of Computer Science
12:30-14:00 Lunch (on your own)
14:00-15:30 Session 2 Concurrent and Reactive Systems
Causality and True Concurrency: A Data-flow Analysis
of the Pi-Calculus
Lalita Jategaonkar Jagadeesan and Radha Jagadeesan
AT&T Bell Laboratories
Verification in Continuous Time by Discrete Reasoning
Luca De Alfaro and Zohar Manna
Stanford University
Dynamic Matrices and the Cost Analysis of Concurrent Programs
GianLuigi Ferrari and Ugo Montanari
Universita di Pisa
15:30-16:00 Refreshment Break
16:00-17:00 Session 3 Software Technology
On Mechanizing Proofs within a Complete Proof System for Unity
Naima Brown and Abdelillah Mokkedem
CRIN-INRIA-Lorraine
Automated Reasoning about Parallel Algorithms using Powerlists
Deepak Kapur and M. Subramaniam
State University of New York
19:00-21:00 Conference Reception
WEDNESDAY, JULY 5, 1995
```````````````````````
08:30-9:30 Invited Talk
Verification of Logic Programs with Delay Declarations
K.R. Apt
CWI and University of Amsterdam, The Netherlands
09:30-10:00 Discussion
10:00-10:30 Refreshment Break
10:30-12:30 Session 4 Logic Programming
An Algebraic Construction of the Well-Founded Model
Rajiv Bagai and Rajshekhar Sunderraman
Wichita State University
Confluence and Concurrent Constraint Programming
M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi
DISI
A Generic Algebra for Data Collections Based on
Constructive Logic
P. Rajagopalan and C.P. Tsang
Curtin University of Technology, Australia
Partial Order Programming (Revisited)
B. Jayaraman, M. Osorio and K. Moon
SUNY at Buffalo
12:30-14:00 Lunch (on your own)
14:00-16:00 Research Prototype Demonstrations
16:00-16:30 Refreshment Break
16:30-18:00 Demo Presentations
19:30-22:30 Conference Banquet and Dinner
THURSDAY, JULY 6, 1995
``````````````````````
09:00-10:00 Invited Talk
An Introduction to Category-based Equational Logic
Joseph A. Goguen and Razvan Diaconescu
Oxford University, UK
10:00-10:30 Discussion
10:30-11:00 Refreshment Break
11:00-12:30 Session 5 Software Technology
Representing Verifying and Applying Software Development
Steps using the PVS System
Axel Dold
Universität Ulm
An Algebraic Development Technique for Information Systems
Martin Gogolla and Rudolf Herzig
Bremen University
A Framework for machine-assisted user Inferface
P. Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena
University of Waterloo
12:30-14:00 Lunch (on your own)
14:00-15:30 Session 6 Algebraic and Logical Foundations
Detecting Isomorphisms of Modular Specifications with Diagrams
Catherine Oriat
LGI-IMAG
Higher-Order Narrowing with Convergent Systems
Christian Prehofer
Technische Universität München
Semantic Typing for Parametric Algebraic Specifications
Maria Victoria Cengarle
Universität München
15:30-16:00 Refreshment Break
16:00-17:30 Session 7 Concurrent and Reactive Systems
Petri Nets, Traces, and Local Model Checking
Allan Cheng
University of Aarhus
An Algebraic Framework for Developing and Maintaining
Real-Time Systems
Elizabeth Leonard and Amy E. Zwarico
The Johns Hopkins University
Logical Foundations for Compositional Verification and
Development of Concurrent Programs in UNITY
Pierre Collette and E. Knapp
University of Manchester
17:30- 18:30 Demo Presentations
FRIDAY, JULY 7, 1995
````````````````````
09:00-10:00 Invited Talk
Knowledge-Based Programming
Rohit Parikh
Brooklyn College of CUNY & CUNY Graduate Center, USA
10:00-10:30 Discussion
10:30-11:00 Refreshment Break
11:00-12:30 Session 8 Concurrent and Reactive Systems
CPO Models for Infinite Term Rewriting
A. Corradini and Fabio Gadducci
Universita di Pisa
Completeness Results for Two-Sorted Metric Temporal Logics
Angelo Montanari and Maarten de Rijke
CWI, The Netherlands
12:00-13:30 Lunch (on your own)
13:30-15:00 Session 9 Software Technology
Specification of the Unix Filing System:
A Comparative Case Study
Maritta Heisel
Technische Universität Berlin
A Calculus of Countable Broadcasting Systems
Y.Isobe, Y. Sato and K. Ohmaki
Computer Science Division
Electrotechnical Laboratory
Symbolic Timing Devices
Annie Bergeron
LACIM, Université du Québec à Montréal
15:00-15:30 Refreshment Break
15:30-17:00 Session 10 Algebraic and Logical Foundations
Context-Free Event Domains are Recognizable
E. Badouel, P. Darondeau, J.-C.Raoult
Universitaire de Beaulieu
Encoding Natural Semantics in Coq
Delphine Terrasse
INRIA-Sophia-Antipolis
Mongruences and Cofree Coalgebras
Bart Jacobs
CWI, The Netherlands
========================================================================================
*****************
* *
* SOCIAL EVENTS *
* *
*****************
Monday, July 3, 1995 19:30-21:30
Advance Registration and Informal get-together
J.W. McConnell Library Building
Computer Science Department
Room LB - 922 (9th Floor)
Tuesday, July 4, 1995 19:00-21:00
Conference Reception
Université du Québec à Montréal
Wednesday, July 5, 1995 19:30-22:30
Conference Banquet and Dinner
Le Centre Sheraton
1201 boul. René-Lévesque
Thursday, July 6, 1995 T.B.A.
Concert - Orchestre Symphonique de Montréal
Cost: $15.00 - $22.00 (taxes included)
Order your tickets through:
Brigitte Kerherve (Local Arrangements)
tel (514) 987-6716
fax (514) 987-8477
e-mail: Kerherve.Brigitte@uqam.ca
=======================================================================================
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
& &
& CONFERENCE REGISTRATION FORM &
& &
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
AMAST'95 (July 3-7, 1995)
"""""""""""""""""""""""""
PLEASE PRINT
Name:
Title:
Affiliation:
Address:
City:
Telephone:
E-mail Address:
Conference Registration
-------------------------
----------------------------------
| Regular ^ | Students * |
|--------------|-----------------|
| | |
Before June 5 | $ 300 | $ 150 |
Fees: | | |
After June 5 | $ 350 | $ 175 |
| | |
----------------------------------
* includes a copy of proceedings and all coffee breaks.
^ includes a copy of proceedings, all coffee breaks, reception and banquet.
Extra Banquet Tickets : $ 50 each.
Extra Reception Tickets : $ 25 each.
Make cheque (or money order or bank draft) payable to:
AMAST'95 - Concordia University
All payments must be made in Canadian dollars and drawn on a
Canadian bank.
Mail completed Conference Registration Form and your registration fee
to: Dr. T. Radhakrishnan
Finance Chair, AMAST'95
Department of Computer Science
CONCORDIA UNIVERSITY
LB 901
1455 de Maisonneuve Blvd. West
Montreal, Quebec H3G 1M8
GENERAL INFORMATION
"""""""""""""""""""
Montreal
A world fashion capital and creative centre for many of Canada's leading
designers. Montreal is a shopper's dream. The underground city
stretches over 18 miles of shop-lined pedestrian walkways linking major
office towers, hotels and apartment blocks, department stores,
restaurants and cafés, subway stations and even rail and bus terminals.
In fact, it's possible to live in the city below without ever having to face
winter blizzards or summer heat waves.
However, dedicated diners might want to emerge to sample one of the
thousands of restaurants that have made Montreal a culinary capital on
a par with European cities. Whether you're gourmet or gourmand, you
have a choice of cuisine from 75 countries in a variety of settings, from
grand hotel dining room to cosy café.
The International Jazz Festival (held in July) draws top artists and
hundreds of thousands of their fans around Place des Arts. It is followed
by the Just for Laughs comedy fest.
For more information you may call or write:
The Greater Montreal Convention and Tourism Bureau
1555 Peel Street, suite 600
Montreal, Quebec H3A 1X6
Tel: (514) 844-5400 or (800) 363-7777
====================================================================================
@@@@@@@@@@@@@@@@@@@@@@@
@ @
@ HOTEL ACCOMMODATION @
@ @
@@@@@@@@@@@@@@@@@@@@@@@
"""""""""""""""""""""""""""""""""
" McGill University Residences "
" 3935 University Street "
" Montreal, Quebec H3A 2B4 "
"""""""""""""""""""""""""""""""""
Accommodation: Single room with shared male or female
wash-rooms.
$36.75 per day: non-students (taxes included)
$28.00 per day: students, seniors (taxes included valid ID
required)
Check in hours: for the Residences are 7:00 AM to 10:30 PM,
weekdays and 8:00 AM to 10:00 PM, weekends
Please note that arrangements will be made on an individual basis
for those arriving outside of regular check in hours. Please be sure
to state your expected arrival time below.
Location: McGill's Coed Residences are located at 3935 University
Street situated in the green spaces on Mount Royal, University Street.
Reservations: Reservations can be made by detaching the slip
below and returning it to:
Summer Accommodations
McGill University Residences
File AMAST20
3935 University Street
Montreal, Quebec
Tel: (514) 398-6367
Fax: (514) 398-6770
Reservations are confirmed upon receipt of a $36.75 or $28.00
deposit per person, applicable towards the residence fee. We accept
cheque, money orders, and VISA or Mastercard. This deposit is
nonrefundable should you cancel. Please make cheque payable to
McGill University.
AMAST'95
July 2 to 8, 1995
Name of Participant:
Female: [ ] Male: [ ]Organization
Accompanying Person(s):
Please reserve single accommodation in McGill Residences for [ ]
person(s)
from evening until morning. My expected
arrival time
is .
I have enclosed a deposit payable to McGill University of
VISA (card no. and expiry date)
Mastercard (card no. and expiry date)
--------------------------------------------------------------------------------------
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
, ,
, Le Centre Sheraton ,
, 1201, Boulevard Ren-Lvesque ,
, Montreal, Quebec H3B 2L7 ,
, TEL: (514) 397-0717 ,
, FAX: (514) 878-8214 ,
, AMAST'95 (July 2-8, 1995) ,
,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
Please Reserve Accommodations:
Name:
Affiliation or Company:
Address:
Sharing room with:
City/State/Zip:
Signature:
Postal Code:
Please indicate if a room will be shared by a third person.
Telephone:
Please include a first night deposit to confirm and guarantee your
reservation or indicate your credit card number. Make cheque or
money order payable to: Le Centre Sheraton Montreal. Please do
not send currency.
CARD # EXPIRY DATE:
Please circle preferred rate and category below.
Accommodations Hotel CLUB ARRIVAL DATE:
SINGLE One person (1 bed) $110. $155. ARRIVAL DATE:
DOUBLE Two persons (1 bed) $110 $175.
DEPARTURE DATE:
TWO DOUBLE BEDS $110. $175.
Third person in room +$25. +$25.
SUITES (bedroom and parlor) $275 & UP $390 & UP
(Refundable if reservation is cancelled 48 hours prior to arrival.
Please retain cancelation number provided).
Non guaranteed reservations held until 4:00 P.M.
Maximum of four persons per room. Rates quoted in Canadian
Dollars.
----------------------------------------------------------------------------------------------
::::::::::::::::::::::::::::::::::::::
: :
: CHATEAU VERSAILLES :
: 1659 Sherbrooke West :
: Montreal, Quebec, H3H 1E3 :
: TEL: (514) 933-3611 :
: :
: AMAST'95 (July 2-8, 1995) :
: :
::::::::::::::::::::::::::::::::::::::
Toll-Free: Canada: 1-800-361-7199
U.S. 1-800-361-3664
DATE:
TO: Lisa Thorburn - Reservations Department
FAX: (514) 933-6867
FROM:
Name Surname
Address Telephone
RESERVATION FOR:
Mr./Ms./Dr.:
Please mark: [ ] Single occupancy [ ] Double occupancy
with an "X"
RATE: $85. single or double occupancy (inclusive of continental
breakfast) in Tour Versailles.
Arrival date: Departure date:
Guaranteed by one of the following credit cards:
VISA - AMEX - MASTER - DC
No. of card: Expiry date:
Card Holder:
Please note that the GST of 7% as well as the QST of 6% are
additional. If you must cancel, you must do so 24 hours prior to
arrival date in order not to be penalized.
The cut-off date to reserve is: June 20, 1995, after this date
reservations will be accepted on an
availability basis.
Your signature: Hotel Confirmation:
=======================================================================================
++++++++++++++++++++++
+ TRAVEL INFORMATION +
++++++++++++++++++++++
Air Travel:
Montreal is served by two airports, Dorval and Mirabel. All international
flights except those originating from USA arrive at Mirabel.
Transportation from the airport:
--------------------------------
Shuttle buses run between the airports and downtown hotels departing from the
airports approximately every 15 to 20 minutes. All shuttle buses go directly to
Queen Elizabeth Hotel, which is situated in downtown Montreal. Once you are there,
take a taxi to your hotel. Alternatively, while boarding the bus at the airport
inform the driver that you have reservations at one of the hotels (Chateau
Versaille and Le Centre Sheraton) and you will be taken directly to your hotel.
Shuttle bus fares are $ 9.00 from Dorval and $ 15.00 from Mirabel.
You may also go to your hotel from the airport by taxi. The cost from Dorval is
$ 25.00 and from Mirabel approximately $ 50.00.
Local Transportation:
---------------------
Montreal is well served by Metro (underground train service) and bus.
The cost of one trip between any two points is $ 1.65.
You may call (514) 288-6287 for more information regarding public transportation
in Montreal.
========================================================================================
$$$$$$$$$$$$$$$$$$$$$$$$$$$
$ $
$ CONFERENCE SECRETARIAT $
$ $
$$$$$$$$$$$$$$$$$$$$$$$$$$$
Technical Program: Local Arrangements:
Mrs. Terry Czernienko Ms. Angie De Benedictis
E-mail: terry@cs.concordia.ca E-mail: angie@cs.concordia.ca
Phone: (514) 848-3042 Phone: (514) 848-3053
Fax: (514) 848-2830 Fax: (514) 848-2830
Mailing Address:
Concordia University
Department of Computer Science
LB-901
1455 De Maisonneuve Blvd. West
Montreal, Quebec, H3G 1M8
____________________
| |
| IMPORTANT DATES |
|____________________|
Education Day: July 3, 1995
Conference Days: July 4-7, 1995
'''''''''''''''''''''''''
' FURTHER INFORMATION '
' '
'''''''''''''''''''''''''
For bulletins on current status of the conference:
amast95-info@cs.concordia.ca
Tools and Demos: grogono@cs.concordia.ca
Registration: krishnan@cs.concordia.ca
Local Arrangements: missaoui.rokia@uqam.ca
For subscribing to AMAST'95 mailing list:
amast95-request@cs.concordia.ca
===========================================================================================
#####################################
# #
# AMAST'95 CONFERENCE ORGANIZATION #
# #
#####################################
General Chair: Maurice Nivat
Program Chair: V.S. Alagar
Programme Committee
Martin Abadi (USA)
Gregor Bochmann (Canada)
Chris Brink (South Africa)
Pierre Deransart (France)
Michael Ferguson (Canada)
Kokichi Futatsugi (Japan)
Armando Haeberer (Brazil)
Nicolas Halbwachs (France)
Jiawei Han (Canada)
Michael Johnson (Australia)
Deepak Kapur (USA)
Helene Kirchner (France)
Laks V.S. Lakshmanan (Canada)
Giorgio Levi (Italy)
Luigi Logrippo (Canada)
Silvio Lemos Meira (Brazil)
Jose Meseguer (USA)
Hafedh Mili (Canada)
Rokia Missaoui (Canada)
Peter Mosses (Denmark)
Istvan Nemeti (Hungary)
Rocco De Nicola (Italy)
Prakash Panangadan (Canada)
Don Pigozzi (USA)
R. Ramanujam (India)
R.K. Shyamasundar (India)
Andrzej Tarlecki (Poland)
Frits Vaandrager (Netherlands)
Martin Wirsing (Germany)
Organizing Committee
Chair: Teodor Rus (USA)
Tools and Demos Chair:
Peter Grogono (Canada)
Finance Chair:
T. Radhakrishnan (Canada)
Publicity Chair: Charles Rattray (UK)
Michel Bidoit (France)
Pankaj Goyal (USA)
Giuseppe Scollo (Netherlands)
Ralph Wachter (USA)
Local Arrangements Chair: Rokia Missaoui (Canada)
Alain Abran (Canada)
A. Das (Canada)
Brigitte Kerherve (Canada)
![[CS HOME]](/icons/Home_Info.gif)
![[DPT. HOME]](/icons/Home_TI.gif)
![[USER HOME]](/icons/Home_User.gif)
AMAST 95 Advance Program - Christoph Meinel,
Jochen Bern - 24-Mar-1995