Next: Fahiem Bacchus - A Up: Abstracts/Résumés Previous: Sergey Yakovenko - Tangential
Applied Logic / Logique appliquée
W. MacCaull, P. Panangaden and P. Scott, Organizers
- Fahiem Bacchus - A search engine based on model checking
- Rick Blute - Nuclear ideals
- Marta Bunge - Relative stone duality
- Peter Caines - A COCOLOG logic for systems and control theory
- Robin Cockett - Double glueing
- Josee Desharnais - A logical characterization of bisimulation for labelled Markov processese
- Amy Felty - A semantic model of types for proof-carrying code
- Esfandiar Haghverdi - Linear logic, geometry of proofs and full completeness
- Doug Howe - Combining functional programming languages and set theory in support of software verification
- Francois Lamarche - Spaces for linguistic representations and the semantics of linear logic
- Joachim Lambek - Bilinear logic in linguistics
- Gonzalo Reyes - Topics in synthetic differential geometrye
- Robert Seely - Semantics for various noncommutative linear logics
- Alasdair Urquhart - Complexity problems for substructural logics
- Franck van Breugel - Towards quantitative verification of systems: a coalgebraic approach
