[Prev][Next][Index][Thread]
CMS Applied Logic, Announcement
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, 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:
http://www.dms.umontreal.ca/Montreal-99/resume/logique_an.html
If you have any further questions, feel free to contact me or any
of the other organizers, or the CMS.
Philip Scott
(phil@site.uottawa.ca)
------------------------------------------------
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"