Québec Programming Languages Séminaire, Novembre 2004

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
Viewable With Any Browser