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