From: Phil Scott <phil@mathstat.uottawa.ca>
To: categories@mta.ca
Subject: CMS Applied Logic, Announcement
Date: Sat, 6 Nov 1999 14:15:57 -0500 (EST) [thread overview]
Message-ID: <Pine.GSO.3.96.991106140732.27633A-100000@dinats> (raw)
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"
reply other threads:[~1999-11-06 19:15 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.GSO.3.96.991106140732.27633A-100000@dinats \
--to=phil@mathstat.uottawa.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).