Subject: categories: CMS Applied Logic, Announcement

From: Phil Scott <[email-masked]>
Date: Sat, 6 Nov 1999 14:15:57 -0500 (EST)

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, [email-masked],
(University of Toronto)
	"Complexity problems for substructural logic" 
 16:30-17:00 
    Amy Felty, [email-masked], (Bell Lab, Murray Hill)
	 "A semantic model of types for proof-carrying code" 
17:00-17:30 
   Franck van Breugel, [email-masked], (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, [email-masked], (University of Calgary)
           "Double glueing" 
12:00-12:30 
    Peter Caines, [email-masked], (McGill University)
         "COCOLOG: A logic for systems and control theory" 
17:30-18:00 
     Marta Bunge, [email-masked], (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, [email-masked], (INRIA-Lorraine,
	Villers-les-Nancy, FRANCE)
   "Spaces for linguistic representation and semantics of linear logic" 
 16:00-16:30 
  Douglas Howe, [email-masked], (Bell Labs, Murray Hill, USA)
     "Combining functionnal programming languages and set theory 
        in support of software verification" 
 16:30-17:00 
     Richard Blute, [email-masked], (U. Ottawa)
        "Nuclear ideals" 
17:00-17:30 
    Esfandiar Haghverdi, [email-masked], (U. Ottawa)
      "Linear logic, geometry of proofs and full completeness" 
17:30-18:00 
   JosŽe Desharnais, [email-masked], (McGill University)
       "Logical characterization of bisimulation for labelled Markov
processes" 
18:00-18:30 
       Gonzalo Reyes, [email-masked], (UniversiteŽ de MontrŽal)
       "Topics in synthetic differential geometry"