Le second séminaire de cette série aura lieu à l'Université de McGill, le vendredi 12 novembre 2004, à la salle 103 du bâtiment McConnell Engineering, 3480 University street. La meilleure façon d'y arriver est par la station de métro McGill qui vous amène dirctement sur la rue University.
9:30-10:00 | Café |
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 | Diner |
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 | Café |
15:30-16:30 | Secure Information Flow and Access Control in a Java-like Language |
Anindya Banerjee, Kansas State University (Dans la salle 13. Présentation invitée, dans le cadre du colloque SOCS) | |
16:30-17:30 | Boissons et snacks dans la SOCS lounge |
Stefan Monnier |