[Fwd: [qcpls] QCPLS séminaire12 novembre, McGi ll]

-------- Original Message --------
Subject: [qcpls] QCPLS s=E9minaire12 novembre, McGill
Date: Tue, 09 Nov 2004 08:47:58 -0500
From: Stefan <[email protected]>
To: [email protected]


<<< English version below >>>

Date: Nov 12th
Lieu: McGill University
       McConnell Engineering salle 103

Le programme du Qu=E9bec Programming Languages S=E9minaire (vendredi proc=
hain 12
novembre toute la journ=E9e) est maintenant disponible sur la page web

    http://www.iro.umontreal.ca/~monnier/qcpls/11-2004.html

Faites circuler cette annonce =E0 toute personne qui serait int=E9ress=E9=
e.

Si vous comptez y assister, pri=E8re d'en faire part
=E0 <[email protected]> pour pouvoir mieux pr=E9voir les quantit=E9s
de rafra=EEchissements.


<<< English version >>>

Date: Nov 12th
Place: McGill University
        McConnell Engineering salle 103

The program of the Qu=E9bec Programming Languages S=E9minaire (next Frida=
y,
November 12, all day) is now available at

    http://www.iro.umontreal.ca/~monnier/qcpls/11-2004.html

Please pass this announce to anyone who might be interested.

If you're planning to come, please tell <[email protected]> so we can
better plan the refreshments.


<<< Program >>>

9:30 - 10:00
  Coffee & Welcome
---------------------------------------------
10:00 -- 10:30
   Encoding lambda-calculus in a first-order language via
   Linear Realizability Algebras

Prakash Panangaden (McGill)
(joint work with Samson Abramsky, Radha Jagadeesan)

--------------------------------
10:45 -- 11:15
A Functional Programming Language for Quantum Computation with
   Classical Control

Peter Selinger and 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 -- 1:00 Lunch in the SOCS Lounge

-----------------------------------

1:00 -- 1:30
"Optimized Return Value Prediction for Java"
Christopher J.F. Pickett and Clark Verbrugge
(McGill University)

--------------------------------------

1:45 -- 2:15
abc - The AspectBench Compiler
Laurie Hendren and Ondrej Lhotak
McGill University

-------------------------------------

2:30 -- 3:00
The Hob System for Verifying Data Structure Consistency Properties
Patrick Lam (MIT)

-------------------------------------
3:00 -- 3:30 Coffee Break
--------------------------------------

3:30 - 4:30

Secure Information Flow and Access Control
in a Java-like Language
Anindya Banerjee

(Jointly with SOCS-Colloquium)

--------------------------------------

4:30 - 5:30
Drinks and Snacks in SOCS Lounge

_______________________________________________
qcpls mailing list
[email protected]
http://mailman.iro.umontreal.ca/mailman/listinfo/qcpls