Program of MWPL

25 Apr 1991

      Program of the
             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, the Queen's Workshop on Programming Languages, and the McMaster
International Workshops 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.

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.

WORKSHOP LOCATION:

          Faculty Club
          7th Floor
          Hall Building
          Concordia University
          1455 boul. de Maisonneuve Ouest
          Montreal, Quebec

WORKSHOP TIME:

          1:00PM Monday, April 29 to 5:10PM Tuesday, April 30.

PROGRAM:

          All events, including lectures, reception (Monday),
          coffee, breakfast (Tuesday) and lunch (Tuesday), will take
          place in the Faculty Club.

          Monday (April 29)

          Pre-Workshop Departmental Open Seminar:

 11:00 AM Dominique Sotteau (U. Paris-Sud & CNRS)
          "Embeddings of Interconnection Networks -
          The Graph Embedding Problem"

          Formal Program of MWPL
          ----------------------

  1:00 PM Opening Address
          Keynote Lecture
          Maurice Nivat (U. Paris VII)
          "Tree Languages"

  2:00 PM D. Therien (McGill U.)
          "Regular Languages and Parallel Computation"

  2:40 PM coffee

  3:00 PM A. Podelski (DEC - Paris Lab)
          "The Logic, Inheritance, Functional and Equational
          Language - LIFE"

  3:40 PM M. Okada (Concordia U.)
          "Executable Higher Order Algebraic Specification
          Languages"

  4:10 PM break

  4:20 PM D. Craigen and M. Saaltink (Odyssey Research, Ottawa)
          "Simple Type Theory in EVES"

  4:50 PM P. J. Scott (U. Ottawa)
          "Uniqueness Conditions for Typed Functional Languages"

  5:30 PM break

  5:40 PM G. Butler (U. Sydney)
          "Cayley: A Language for Computation with Algebraic
          Structures"

  6:10 PM G. Pottinger (Odyssey Research, Ithaca, NY)
          "Defining Unification for Descriptions of Lambda-terms"

  6:40 PM Workshop Reception
          (light meal and cash bar)

  8:30 PM Committee Meeting

          Tuesday (April 30)

  8:30 AM coffee and doughnuts

  9:10 AM Keynote lecture
          J. Lambek (McGill U.)
          "Least Fixpoints in Cartesian Closed Categories"

 10:10 AM J. Zucker (McMaster U.)
          "Application of Intensional Logic to Program Semantics"

 10:50 AM break

 11:00 AM P. Panangaden (McGill U.)
          "Semantic Foundations of Concurrent Constraint Programming"

 11:40 AM H. Mili (U. Quebec - Montreal)
          "Constraints in Object-Oriented Programming"

 12:10 PM Workshop Lunch

  2:00 PM Keynote Lecture
          R. D. Tennent (Queen's U.)
          "Possible World Semantics for Algol-like Programming
          Languages"

  3:00 PM M. Barr (McGill U.)
          "Terminal Coalgebras in Well-Founded Set Theory"

  3:40 PM J. Seldin (Concordia U.)
          "Excluded Middle Without Definite Descriptions
           in the Theory of Constructions"

          End of Formal Program of MWPL

          Post-Workshop Departmental Open Seminar:

  4:10 PM Maurice Nivat (U. Paris VII)
          "Mathematics of Tiling Games"

ORGANIZING COMMITTEE:

          M. Barr       (McGill U.)
          P. Grogono    (Concordia U.)
          B. Hodgson    (U. Laval)
          P. Lauer      (McMaster U.)
          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)
          R. Seely      (McGill U.)
          J. Seldin     (Concordia U.)
          R. D. Tennent (Queen's 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

Program of MWPL

mwpl＠Concour.cs.Concordia.CA