[Prev][Next][Index][Thread]
CTRS '90 announcement
THE SECOND INTERNATIONAL WORKSHOP ON
CONDITIONAL AND TYPED REWRITING SYSTEMS
(CTRS '90)
SECOND ANNOUNCEMENT
(Information on accomodation, registration, etc.
Detailed program will be announced shortly.)
June 11-14, 1990, Montreal, Canada
Sponsored by
Centre de recherche informatique de Montreal
and
Concordia University
In recent years, extensions of rewriting techniques that go
beyond the traditional untyped algebraic rewriting framework have
been investigated and developed. Among these extensions,
conditional and typed systems are particularly important, as are
higher-order systems, graph rewriting systems, etc.
To further research in these and related areas, the Second
International Workshop will be held this summer. Topics will
include the theory of conditional rewriting and its application
to programming languages, specification languages, automated
deduction, as well as typed rewriting, higher-order rewriting,
graph rewriting, combinator based languages, and their
application to parallel architectures, parallel computation
models, and compilation techniques. (This list is not meant to
be exhaustive.) Sessions for formal presentations of papers, for
system demonstrations, and for informal discussion are scheduled.
Speakers for keynote lectures to initiate discussion sessions include
V. Breazu-Tannen & J. Gallier, H. Ganzinger, J. Hsiang, J. W. Klop,
J. Meseguer, A. R. Meyer, and J. L. Remy.
Program Committee:
R. V. Book (University of California - Santa Barbara, USA)
N. Dershowitz (*) (University of Illinois, USA)
K. Futatsugi (Electrotechnical Lab (ETL), Japan)
H. Ganzinger (Universitaet Dortmund, West Germany)
J. P. Jouannaud (*) (Universite de Paris-Sud, France)
S. Kaplan (*) (Hebrew University, Israel)
J. W. Klop (Mathematisch Centrum, Netherlands)
J. Meseguer (SRI-International, USA)
M. Okada (*)(**) (Concordia University, Canada)
D. Plaisted (University of North Carolina, USA)
J. L. Remy (Universite de Nancy, France)
(*) Co-organizers
(**) Chairperson
----------------------------------------------------------------
TIME
June 11-14, 1990, beginning at 9:30 A.M. on June 11.
PLACE
Concordia University, Montreal, Quebec, Canada
The CTRS Workshop will take place at the downtown Sir George
Williams campus of Concordia University, in the Hall Building at
1455 de Maisonneuve Blvd. West. Most events will take place in
the Faculty Club on the 7th floor; some others will take place
in the Department of Computer Science on the 9th floor.
TRAVEL
Montreal is served by two airports: Dorval (for flights
originating in Canada or the USA), and Mirabel (for other
international flights). At each airport, there is an "Aerocar"
service bringing passengers to the Queen Elizabeth Hotel in
downtown Montreal. On the afternoon and evening of June 10, and
on the morning of June 11, there will be a limousine service from
the Queen Elizabeth Hotel to the places where accomodation has
been arranged for the Workshop.
Amtrack, the US passenger rail service, has two daily trains (one
during the day; the other at night) to Montreal from New York
City. The trip takes about ten hours, and costs about US $79 for
a round trip ticket. It is possible to connect with these trains
>from Philadelphia, or other eastern US cities.
ACCOMODATION
(1) Dormitories:
Concordia University's student dormitories are located at the
suburban Loyola Campus (about 15 minutes by Concordia's school
bus from the downtown Hall Building). Dormitory rooms may be
reserved at the following rates:
Student rate (Bring student ID):
$16/day for a single room
$32/day ($16 each) for a double room
Non-student rate:
$22/day for single
$34/day ($17 each) for double
A deposit of 25% is required with your reservation. A reservation form
form is provided below.
Special rates have been arranged for the hotel rooms and apartments
listed below. When reserving, please indicate that you are attending
the CTRS conference at Concordia University.
(2) Hotel:
A limited number of hotel rooms have been held aside for the CTRS
Workshop at the Manoir Le Moyne Hotel, about a five minute walk
>from the Workshop location at the downtown Hall Building.
Studio (1 double bed) with kitchenette (1 or 2 people): $70/day
Deluxe (2 beds) with kitchenette (2 people): $90/day
Executive suite (3 beds) with kitchenette (3 people): $100/day
All rates are in Canadian dollars. CAN $1 = (approx.) US $0.80
For reservations, call or write to
Hotel Manoir Le Moyne
Reservation Office (ATTN: Ms. Anna Korn)
2100 boul. de Maisonneuve O.
Montreal, Quebec H3H 1K6
CANADA
Tel.: (514) 931-8861
(800) 361-7191 (from Canada or Eastern USA)
Fax: (514) 931-7726
Reservations are on a first-come, first-served basis, and must be
made before the deadline of May 11, 1990. The hotel will require
a deposit (to cover the first day) or a major credit card for
reservations.
(3) Apartment suites:
Apartment suites are available at weekly rates at Le Monfort, also
about a five minute walk from the Workshop site.
Studio apartment with one sofa-bed (1 or 2 people): $360/8 nights
One bedroom suite with one double bed (2 people): $545/8 nights
Extra person: $ 56/8 nights
All rates are in Canadian dollars. CAN $1 = (approx.) US $0.80
For reservations, call or write to
Le Monfort
Reservation Office (ATTN: Ms Gisele Gariepy)
1975 boul. de Maisonneuve O.
Montreal, Quebec H3H 1K4
CANADA
Tel.: (514) 934-0916
Fax: (514) 939-2552
Telex: 055-61766
Le Monfort requires a deposit of $50 or a major credit card for
reservations.
8<------------------------ CUT HERE --------------------------->8
CTRS 90 REGISTRATION FORM
Name: ___________________________________________
Affiliation: _________________________________
Address: ________________________________
________________________________
________________________________
________________________________
________________________________
Phone: _______________________
E-mail: _______________________
Expected date of arrival: ____________
Expected time of arrival: ____________
I am enclosing a bank draft or money order for (check one)
___ CDN $120.00 or US $100.00 (Non-students, before May 7)
___ CDN $ 25.00 or US $ 21.00 (Students, before May 7)
___ CDN $150.00 or US $125.00 (Non-students, after May 7)
___ CDN $ 35.00 or US $ 29.00 (Students, after May 7)
Also included in the amount of my payment is ______ as a deposit for
my dormitory reservation. (Enclose completed dormitory reservation
form.)
If you are paying the student rate, please bring your student ID card
for presentation at the registration desk. Note that the student rate
does not include a copy of the Workshop proceedings.
8<------------------------ CUT HERE --------------------------->8
DORMITORY RESERVATION
(Must be received by May 7)
(Reservations will be made on a first-come, first-served basis)
(Do NOT use this form for hotel or apartment reservations.)
Name: ________________________________________
Affiliation: _________________________________
Address: ________________________________
________________________________
________________________________
________________________________
________________________________
Phone: _______________________
E-mail: _______________________
Rooms are available for the Workshop from the evening of June 10
until the morning of June 15.
Single room, student rate
CDN $16.00 (US $13.50) * ____ nights = _______
Deposit required:
CDN $4.00/night or
US $3.50/night
Single room, non-student rate
CDN $22.00 (US $18.50) * ____ nights = _______
Deposit required:
CDN $5.50/night or
US $4.75/night
Double room, student rate
CDN $32.00 (US $27.00) * ____ nights = _______
Deposit required:
CDN $8.00/night or
US $6.75/night
Double room, non-student rate
CDN $34.00 (US $28.50) * ____ nights = _______
Deposit required:
CDN $8.50/night or
US $7.25/night
Number of men _____ Number of women _____
Arrival date _________ Arrival time ________
Departure date _______ Departure time ______
It is not necessary to make separate payments for dormitory deposit
and registration fee. Please include the appropriate deposit with
your bank draft or money order, along with your registration fee.
The remainder (75%) of your dormitory payment is due on arrival.
8<------------------------ CUT HERE --------------------------->8
Bank draft or money order in Canadian or US funds should be made
payable to CTRS '90 and mailed with completed form(s) to
CTRS '90
c/o Prof. M. Okada
Department of Computer Science
Concordia University
1455 boul. de Maisonneuve O.
Montreal. Quebec H3G 1M8
CANADA
e-mail inquiries: ctrs90@concour.cs.concordia.ca