Le premier séminaire de cette série aura lieu à l'Université de Montréal, le lundi 26 avril 2004 à la salle 6214 du pavillon André-Aisenstadt.
10:00 | Foundational Proof Carrying Code (Présentation invitée) |
Amy Felty, University of Ottawa | |
10:45 | Towards an improved Java bytecode verifier |
Etienne Gagnon, Université du Québec à Montréal | |
11:15 | Pause |
11:30 | Precise, Partially Compositional Analysis of the pi-Calculus |
Sam Sanjabi, McGill University | |
12:00 | Burger Lazy-Scheme : Réduction de Graphe en Parallèle sur FPGA |
Étienne Bergeron, Université de Montréal | |
12:30 | Repas de midi |
13:30 | Administrivia |
13:45 | Towards dynamic interprocedural analysis in JVMs |
Feng Qian, McGill University | |
14:30 | History Types and Verification |
Christian Skalka, University of Vermont | |
15:15 | Functional Programming in Logical Frameworks |
Carsten Schuermann, Yale University | |
16:00 | Clôture |
Stefan Monnier |