Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| AMAST'95 cr@cs.stir.ac.uk) (1995-06-24) |
| Newsgroups: | comp.compilers |
| From: | cr@cs.stir.ac.uk (C Rattray \(Staff\)) |
| Keywords: | conference |
| Organization: | Computing Science and Mathematics, Stirling University |
| Date: | Sat, 24 Jun 1995 12:06:33 GMT |
| Status: | RO |
*********************************************
* ***************************************** *
* * * *
* * * *
* * FOURTH INTERNATIONAL CONFERENCE ON * *
* * * *
* * * *
* * ALGEBRAIC METHODOLOGY * *
* * * *
* * AND * *
* * * *
* * SOFTWARE TECHNOLOGY * *
* * * *
* * AMAST '95 * *
* * * *
* ***************************************** *
*********************************************
July 3-7, 1995
Concordia University
Montreal, Canada.
Technical Program
Call for Participation
Organized by:
------------
___ Department of Computer Science, Concordia University
Supported by:
------------
--- Concordia University
--- Universite du Quebec a Montreal (UQAM)
--- Bell Northern Research, Nun's Island
--- Natural Sciences and Engineering Research Council of Canada
--- Office of Naval Research, USA.
"""""""""""""""""""""""""
" "
" AMAST'95 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 | K.R. Apt | | |
| | | | | | |
|08:50-09:00| Welcome | | | | |
|___________|____________|____________| |____________|__________|
| | | | | | |
|09:00-09:30| | | |J.A. Goguen | Rohit |
|___________|David Gries |Ewa Orlowska|___________| and | Parikh |
| | | | |R.Diaconescu| |
|09:30-10:00| | | Discussion| | |
|___________|____________|____________|___________|____________|__________|
| | | | | | |
|10:00-10:30| Discussion | Discussion | Break | Discussion |Discussion|
|___________|____________|____________|___________|____________|__________|
| | | |Session 4: | | |
|10:30-11:00| Break | Break |. . . . . .| Break | Break |
|___________|____________|____________| |____________|__________|
| | | | Logic |Session 5: |Session 8:|
|11:00-11:30| | Session 1: |Programming|. . . . . . |. . . . . |
|___________| J. Wing |. . . . . . | and | Software |Concurrent|
| | | | Databases |Technology |& Reactive|
|11:30-12:00| | Algebraic | | |Systems |
|___________|____________| & Logical |___________|____________|__________|
| | |Foundations | |
|12:00-12:30| Discussion | | |
|___________|____________|____________| |
| | |
|12:30-13:30| L U N C H |
|___________| ''''''''' __________|
| | | |
|13:30-14:00| |Session 9:|
|___________|__________________________________________________|. . . . . |
| | | | | | |
|14:00-14:30| | Session 2: | | Session 6: | |
|___________|Dan Craigen |. . . . . . | |. . . . . . |Software |
| | | | Research | |Technology|
|14:30-15:00| | Concurrent | | Algebraic | |
|___________|____________| and | Prototype | & Logical |__________|
| | | Reactive | |Foundations | |
|15:00-15:30| Discussion | Systems | Demo's | | Break |
|___________|____________|____________| |____________|__________|
| | | | | | |
|15:30-16:00| Break | Break | | Break |Session 10|
|___________|____________|____________|___________|____________|. . . . . |
| | | | | | |
| | | Session 3: | |Session 7: |Algebraic |
|16:00-16:30| |. . . . . . | Break |. . . . . . |& Logical |
|___________|Ted Ralston | |___________| |Found- |
| | | Software | | Concurrent |ations |
|16:30-17:00| | Technology | | and | |
|___________|____________|____________| Demo | Reactive |__________|
| | | | Present- | Systems | |
|17:00-17:30| Discussion | | ation | | |
|___________|____________|____________|___________|____________| |
| | | Demo | |
|17:30-18:30| |Presentation| |
|___________|_____________________________________|____________| |
| | | | | | |
|19:00 | | Conference | | | |
|___________|____________| |___________|____________| |
| | | Reception | | | |
|19:30 | | | Banquet | OSM | |
|-----------| Advance | at | & Dinner | Concert | |
| |Registration| | | | |
|21:00 | | U Q A M | at | Pre- | |
|-----------| and | | | reserved | |
| | |____________| La Centre | | |
|21:30 |Get-together| | Sheraton | | |
|___________|____________|____________|___________|____________|__________|
;;;;;;;;;;;;;;;;;;;;;;
; ;
; 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
Softeks Lab. Room LB-912 (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 TALKS ?
? ?
????????????????????
Education Day: July 3, 1995
David Gries
Cornell University, USA
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 the Industrial Application of
Formal Methods
Conference Days: July 4 - July 7, 1995
Ewa Orlowska
Polish Academy of Sciences, 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 and Institute of Mathematics of the Romanian Academy
An Introduction to Category-based Equational Logic
Rohit Parikh
Brooklyn College of CUNY and CUNY Graduate Center, USA
Knowledge-Based Computation (Extended Abstract)
Banquet Talk: July 5, 1995
Pamela Zave
AT&T Bell Labs, USA
Can Academia Do Good Research on Feature Interactions?
=================================================================================
::::::::::::::::::::::::::::::
: :
: ABSTRACTS OF INVITED TALKS :
: :
::::::::::::::::::::::::::::::
..................
: :
: Education Day :
:................:
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 the
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 Sciences, 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 and Institute of Mathematics of the Romanian Academy
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 Computation
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-08:50 Registration
Morning Session Chair : Michael Johnson
--------------------- ---------------
08:50-09:00 Welcome (V.S. Alagar)
09:00-10:00 Invited Talk
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)
Afternoon Session Chair : Pankaj Goyal
----------------------- ------------
14:00-15:00 Invited Talk
The Role of Education and Training in the 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 the 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
Morning Session Chair : Martin Wirsing
--------------------- --------------
08:45-09:00 Welcome (V.S.Alagar)
Opening Session Address: Mr. Rajiv Pancholy,
Assistant Vice President (BNR Montreal)
09:00-10:00 Invited Talk
Information Algebras
Ewa Orlowska (Polish Academy of Sciences, 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 (TU Denmark)
Proving the Correctness of Behavioral Implementations
Michel Bidoit, Rolf Hennicher
(LIENS-CNRS, U Munchen)
On the Decidability of Process Equivalences for the Pi-Calculus
Mads Dam (Swedish Institute of Comp Sci)
12:30-14:00 Lunch (on your own)
Afternoon Session Chair : Michael Ferguson
----------------------- ----------------
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, Loyola College)
Verification in Continuous Time by Discrete Reasoning
Luca de Alfaro and Zohar Manna (Stanford Univ)
Dynamic Matrices and the Cost Analysis of Concurrent Programs
GianLuigi Ferrari and Ugo Montanari
(Univ 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
(SUNY, Albany)
19:00-21:00 Conference Reception
WEDNESDAY, JULY 5, 1995
```````````````````````
Morning Session Chair : Laks V.S. Lakshmanan
--------------------- --------------------
08:30-09:30 Invited Talk
Verification of Logic Programs with Delay Declarations
K.R. Apt
(CWI and University of Amsterdam)
09:30-10:00 Discussion
10:00-10:30 Refreshment Break
10:30-12:30 Session 4: Logic Programming and Databases
An Algebraic Construction of the Well-Founded Model
Rajiv Bagai and Rajshekhar Sunderraman
(Wichita State Univ)
Confluence and Concurrent Constraint Programming
M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi
(U Padova, CWI, Monash U, DISI, U Genova)
A Generic Algebra for Data Collections Based on
Constructive Logic
P. Rajagopalan and C.P. Tsang
(Curtin U of Technology, U of Western Australia)
Partial Order Programming (Revisited)
Bharat Jayaraman, Mauricio Osorio Kyonghee Moon
(SUNY, Buffalo)
12:30-14:00 Lunch (on your own)
Afternoon Session Chair : Peter Grogono
----------------------- -------------
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
``````````````````````
Morning Session Chair : Prakash Panangaden
--------------------- ------------------
09:00-10:00 Invited Talk
An Introduction to Category-Based Equational Logic
Joseph A. Goguen and Razvan Diaconescu
(Oxford Univ and Inst of Mathematics of Romanian Acad)
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 (Univ Ulm)
An Algebraic Development Technique for Information Systems
Martin Gogolla and Rudolf Herzig (Bremen Univ)
A Framework for machine-assisted User Inferface Verification
Peter Bumbulis, P.S.C. Alencar, D.D. Cowan, C.J.P. Lucena
(Univ Waterloo, Univ de Brasilia, Pontificia Univ Catolica
do Rio de Janeiro)
12:30-14:00 Lunch (on your own)
Afternoon Session Chair : Pierre Deransart
----------------------- ----------------
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 (TU Munchen)
Semantic Typing for Parametric Algebraic Specifications
Maria Victoria Cengarle (Univ Munchen)
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 (Cornell University)
An Algebraic Framework for Developing and Maintaining
Real-Time Systems
Elizabeth Leonard and Amy E. Zwarico
(Johns Hopkins Univ, Bell South Telecommunications)
Logical Foundations for Compositional Verification and
Development of Concurrent Programs in UNITY
Pierre Collette and Edgar Knapp (Univ of Manchester)
17:30- 18:30 Demo Presentations
FRIDAY, JULY 7, 1995
````````````````````
Morning Session Chair : Deepak Kapur
--------------------- ------------
09:00-10:00 Invited Talk
Knowledge-Based Computation (Extended Abstract)
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
Andrea Corradini and Fabio Gadducci (Univ Pisa)
Completeness Results for Two-Sorted Metric Temporal Logics
Angelo Montanari and Maarten de Rijke (Univ di Udine, CWI)
12:00-13:30 Lunch (on your own)
Afternoon Session Chair : Michel Bidoit
----------------------- -------------
13:30-15:00 Session 9: Software Technology
Specification of the Unix File System:
A Comparative Case Study
Maritta Heisel (TU Berlin)
A Calculus of Countable Broadcasting Systems
Yoshinao Isobe, Yutaka Sato, Kazuhito K. Ohmaki
(Electrotechnical Laboratory)
Symbolic Timing Devices
Anne Bergeron (UQAM & Princeton Univ)
15:00-15:30 Refreshment Break
15:30-17:00 Session 10: Algebraic and Logical Foundations
Context-Free Event Domains are Recognizable
Eric Badouel, Philippe Darondeau, Jean-Claude Raoult
Irisa, Universitaire de Beaulieu
Encoding Natural Semantics in Coq
Delphine Terrasse (INRIA-Sophia-Antipolis)
Mongruences and Cofree Coalgebras
Bart Jacobs (CWI)
===============================================================================
*****************
* *
* SOCIAL EVENTS *
* *
*****************
Monday, July 3, 1995 19:30-21:30
Advance Registration and Informal get-together
J.W. McConnell Library Building
1440 De Maisonneuve Blvd. West Room LB-922
Tuesday, July 4, 1995 19:00-21:00
Conference Reception
Universite' du Que'bec `a Montre'al
"Pavillon Judith-Jasmin",
405, rue Saint-Catherine Est Room JM-100 (Metro level)
(Extra reception tickets $25.00 each can be bought at the registration desk.)
Wednesday, July 5, 1995 19:30-22:30
Conference Banquet and Dinner
Le Centre Sheraton
1201 boul. Rene'-Le'vesque, Montre'al
(Extra banquet tickets $50.00 each can be bought at the registration desk.)
Thursday, July 6, 1995 T.B.A.
Concert - Orchestre Symphonique de Montre'al
Basilique Notre Dame
110 rue Notre-Dame Ouest, Montre'al Metro / subway: Place d'Armes
Renowned for the excellence of its performances and recording both in
Canada and abroad, the Orchestre Symphonique de Montreal, celebrating its
60th anniversary in 1994, is firmly established as one of the finest
symphony orchestra in the world. Under the baton of Maestro Charles
Dutoit, its mercurial Music Director since 1978, the OSM has thrilled
audiences and critics in major capital cities throughout North America,
Europe, South America, the Far East and the USSR. Its digital recordings,
resulting from an exclusive long-term contract with Decca-London, remain
the standard by which others are judged. Of their 60 recordings no less
than 40 have garnered prestigious international awards, including the
Montreux International Record Award, considered to be one of the most
sought-after in the recording industry.
If you wish to attend the concert it is recommended that you pre-reserve
your seats. Simply add $17.00 for each ticket you want to order along with
your registration fee and send cheque to:
Dr. T. Radhakrishnan
Finance Chair, AMAST'95
For more information on concert please contact:
Brigitte Kerherve
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.
Credit cards will not be accepted.
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 cafe'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 cafe'.
The International Jazz Festival (June 29-July 9) draws top artists and
hundreds of thousands of their fans around Place des Arts. It is followed
by the Just for Laughs comedy fest (July 21-31). The adventuresome may wish
to try a rafting excursion in the Lachine rapids, while those with tamer
interests can visit the Montreal Musee de Beaux Arts, the Botanical Gardens
or the Insectarium.
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: +1 514-844-5400 or, in Canada 1-800-363-7777
If time permits, one can also take a 2-1/2 hour side trip to Quebec City,
the only walled city in North America. The carefully preserved architecture,
mixed with the extensive set of boutiques, restaurants and night life, make
it a tourists's paradise.
Information on Montreal and Quebec City can be found on the Web
http://www.cum.qc.ca/
http://www.city.net/countries/canada/quebec/montreal/
http://www.llc.org/web-quebec/eindex.html
===============================================================================
@@@@@@@@@@@@@@@@@@@@@@@
@ @
@ 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)
A. Das (Canada)
Brigitte Kerherve (Canada)
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.