The second seminar of this series will take place at McGill University, on Friday, 12 November 2004, in room 103 of the McConnell Engineering building, 3480 University street. The simplest way to get there is by the metro station McGill which gets you straight to University street.
| 9:30-10:00 | Coffee |
| 10:00-10:30 | Encoding lambda-calculus in a first-order language via Linear Realizability Algebras |
|
Prakash Panangaden, McGill University | |
| 10:45-11:15 | A Functional Programming Language for Quantum Computation with Classical Control |
|
Benoit Valiron, University of Ottawa | |
| 11:30-12:00 | A DSL for speech components based on hierarchical state machines |
|
Dominique Boucher, NuEcho Inc. | |
| 12:00-13:00 | Lunch |
| 13:00-13:30 | Optimized Return Value Prediction for Java |
|
Christopher J.F. Pickett, McGill University | |
| 13:45-14:15 | abc - The AspectBench Compiler |
| Ondrej Lhotak, McGill University | |
| 14:30-15:00 | The Hob System for Verifying Data Structure Consistency Properties |
|
Patrick Lam, Massachussetts Institute of Technology | |
| 15:00-15:30 | Coffee break |
| 15:30-16:30 | Secure Information Flow and Access Control in a Java-like Language |
|
Anindya Banerjee, Kansas State University (In room 13. Invited talk, jointly with SOCS colloquium) | |
| 16:30-17:30 | Drinks and snacks in SOCS lounge |
| Stefan Monnier |
|