[Prev][Next][Index][Thread]
[mwpl@concour.cs.concordia.ca: Announcement of MWPL]
Date: Mon, 08 Apr 91 07:53:27 -0400
Montreal Workshop on Programming Languages
-ALGEBRAIC AND LOGICAL APPROACHES IN PROGRAMMING LANGUAGES-
April 29-30, 1991
Montreal
Organized by the Montreal Programming Languages Group in cooperation
with the Montreal Interuniversity Category Theory-Logic Seminar and
the Queen's Workshop on Programming Languages.
Supported by the Center for Pattern Recognition and Machine Intelligence
of Montreal and the Ministere d'enseignement superieure et recherche de Quebec
under the Quebec-Ontario Cooperation Program.
The purpose of the workshop is to discuss together the various research
activities in programming languages and related fields from some
universities and research laboratories in Quebec, Ontario and northern
New York State. Participation from other area is also welcome. Our intention
is to hold workshops in this series twice a year in cooperation with
several research groups in the Quebec and Ontario area.
Algebraic and logical approaches in programming languages are becoming
increasingly important both in the theoretical and the practical levels.
The first workshop will be focused on algebraic and logical aspects of
programming languages, including new generation programming language design,
semantics of programming languages, algebraic specification languages,
formal program verification, logical framework of the object-oriented paradigm,
and other issues related to algebraic or logical approaches to language theory.
WORKSHOP LOCATION:
Faculty Club
7th Floor
Hall Building
Concordia University
1455 boul. de Maisonneuve Ouest
Montreal, Quebec
WORKSHOP TIME:
Monday afternoon, April 29 to Tuesday afternoon, April 30.
A detailed program will follow soon upon your request.
TENTATIVE PROGRAM:
Keynote lectures:
Nachum Dershowitz (U. Illinois)
Jim Lambek (McGill U.)
Maurice Nivat (U. Paris VII, visiting Concordia U.)
Bob Tennent (Queen's U.)
Other speakers include:
M. Barr (McGill U.)
P. J. Scott (U. Ottawa)
M. Okada (Concordia U.)
P. Panangaden (McGill U.)
A. Podelski (DEC-Paris)
H. Mili (UQAM)
J. Seldin (Concordia U.)
J. Zucker (McMaster)
(and some others are under negotiation.)
In order to provide a suitable atmosphere for interaction
among the participants, the number of participants will
be limited. Please send e-mail to mwpl@concour.cs.concordia.ca
for participation information.
There is no registration charge. Tuesday lunch will be
served in the Workshop with a reasonable charge,
as well as a Monday night cash-bar reception.
ACCOMMODATION:
Unfortunately, the University dormitory is not available
during this period.
The following are some hotels very close to the workshop
location (within a few minutes walk):
Hotel Chateau Versailles
$85 for single/double (Concordia rate)
514-933-3611
Maritime Hotel
$77 for single/double (Concordia rate)
514-934-1411
Hotel Europa
$70 for single, $80 for double.
514-866-6492
YWCA (female only)
$43 (single with semi-private bath)
$47 (single with private bath)
$58 (double)
514-866-9941
YMCA (both male and female)
$30 (single)
$28 (student)
514-849-8393
ORGANIZING COMMITTEE (Tentative):
M. Barr (McGill U.)
G. Bochmann (U. Montreal and CRIM) (Under negotiation)
P. Grogono (Concordia U.)
B. Hodgson (U. Laval)
H. Mili (UQAM)
M. Nivat (U. Paris VII, visiting Concordia U.)
M. Okada (Concordia U.)(chair)
P. Panangaden (McGill U.)
P. J. Scott (U. Ottawa)
J. Seldin (Concordia U.)
B. Tennent (Queen's U.)
J. Zucker (McMaster U.)
For further information, send e-mail to
mwpl@concour.cs.concordia.ca
or write to
MWPL, c/o Dr. M. Okada
Department of Computer Science
Concordia University
1455 boul. de Maisonnneuve Ouest
Montreal, Quebec H3G 1M8