[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