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