********************************************* * ***************************************** * * * * * * * * * * * 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 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 Address 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)