CMS Applied Logic, Announcement
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, organized by Wendy MacCaull,
Prakash Panangaden, and myself. We enclose below the program.
The main one-hour speakers are: A. Urquhart, F. Bacchus, and J. Lambek.
There are also a series of half-hour talks.
The URL's on the web are the following:
General Meeting: http://www.cms.math.ca/CMS/Events/winter99/
Applied Logic Special Session:
If you have any further questions, feel free to contact me or any
of the other organizers, or the CMS.
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) ,
Phil Scott (Ottawa)
Saturday, December 11
Alisdair Urquhart, firstname.lastname@example.org,
(University of Toronto)
"Complexity problems for substructural logic"
Amy Felty, email@example.com, (Bell Lab, Murray Hill)
"A semantic model of types for proof-carrying code"
Franck van Breugel, firstname.lastname@example.org, (York University)
"Towards quantitative verification of systems: a coalgebraic
Sunday, December 12
Fahiem Bacchus (University of Toronto)
A search engine based on model checking"
Robin Cockett, email@example.com, (University of Calgary)
Peter Caines, firstname.lastname@example.org, (McGill University)
"COCOLOG: A logic for systems and control theory"
Marta Bunge, email@example.com, (McGill University)
"Relative stone duality"
Robert Seely (John Abott College)
"Semantics for various noncommutative linear logics"
Monday, December 13
Joachim Lambek (McGill University)
"Bilinear logic in linguistics"
Francois Lamarche, Francois.Lamarche@loria.fr, (INRIA-Lorraine,
"Spaces for linguistic representation and semantics of linear logic"
Douglas Howe, firstname.lastname@example.org, (Bell Labs, Murray Hill, USA)
"Combining functionnal programming languages and set theory
in support of software verification"
Richard Blute, email@example.com, (U. Ottawa)
Esfandiar Haghverdi, firstname.lastname@example.org, (U. Ottawa)
"Linear logic, geometry of proofs and full completeness"
JosŽe Desharnais, desharna@DMS.UMontreal.CA, (McGill University)
"Logical characterization of bisimulation for labelled Markov processes"
Gonzalo Reyes, reyes@MATHCN.UMontreal.CA, (UniversiteŽ de MontrŽal)
"Topics in synthetic differential geometry"