Dear Colleagues: The Canadian Mathematical Society Annual Winter meeting in Montreal this December has a special session in Applied Logic and theoretical computer science, December 11-13, 1999. I enclose below the program. The URL's on the web are the following: General Meeting: http://www.cms.math.ca/CMS/Events/winter99/ Applied Logic Special Session: http://www.dms.umontreal.ca/Montreal-99/resume/logique_an.html Canadian Mathematical Society Winter Meeting December 11-13th, 1999 Conference Center, Renaissance Hotel du Parc Special Session: APPLIED LOGIC Organizers: Wendy MacCaull(St. Francis Xavier) , Prakash Panangaden(McGill), Phil Scott (Ottawa) Schedule Saturday, December 11 15:30-16:30 Alisdair Urquhart, urquhart@urquhart.theory.toronto.edu, (University of Toronto) "Complexity problems for substructural logic" 16:30-17:00 Amy Felty, felty@research.bell-labs.com, (Bell Lab, Murray Hill) "A semantic model of types for proof-carrying code" 17:00-17:30 Franck van Breugel, franck@cs.yorku.ca, (York University) "Towards quantitative verification of systems: a coalgebraic approach" Sunday, December 12 9:00-10:00 Fahiem Bacchus (University of Toronto) A search engine based on model checking" 11:30-12:00 Robin Cockett, robin@cpsc.ucalgary.ca, (University of Calgary) "Double glueing" 12:00-12:30 Peter Caines, peterc@cim.mcgill.ca, (McGill University) "COCOLOG: A logic for systems and control theory" 17:30-18:00 Marta Bunge, bunge@math.mcgill.ca, (McGill University) "Relative stone duality" 18:00-1830 Robert Seely (John Abott College) "Semantics for various noncommutative linear logics" Monday, December 13 11:30-12:30 Joachim Lambek (McGill University) "Bilinear logic in linguistics" 15:30-16:00 Francois Lamarche, Francois.Lamarche@loria.fr, (INRIA-Lorraine, Villers-les-Nancy, FRANCE) "Spaces for linguistic representation and semantics of linear logic" 16:00-16:30 Douglas Howe, howe@research.bell-labs.com, (Bell Labs, Murray Hill, USA) "Combining functionnal programming languages and set theory in support of software verification" 16:30-17:00 Richard Blute, rblute@mathstat.uottawa.ca, (U. Ottawa) "Nuclear ideals" 17:00-17:30 Esfandiar Haghverdi, ehaghver@mathstat.uottawa.ca, (U. Ottawa) "Linear logic, geometry of proofs and full completeness" 17:30-18:00 JosÂe Desharnais, desharna@DMS.UMontreal.CA, (McGill University) "Logical characterization of bisimulation for labelled Markov processes" 18:00-18:30 Gonzalo Reyes, reyes@MATHCN.UMontreal.CA, (Universite de MontrÂal) "Topics in synthetic differential geometry"