The first seminar of this series will take place at Université de Montréal, on Monday, 26 April 2004, in room 6214 of pavillon Pavillon André-Aisenstadt.
The pavillon André-Aisenstadt is located south of the main pavillon (cf. general map). The simplest way to get there is by the metro station Université de Montréal: follow the signs to "Université de Montréal"; they lead to a long escalator that leads to the main pavillon: atthe top of the escalator, take the right hallway that leads to the southern exit. At the exit, take a left (towards the south); after a small block you will be at a Y intersection right in front of the pavillon André-Aisenstadt.
It is recommended not to come by car, but if you have no choice and you don't know where to park, please get in touch with me
10:00 | Foundational Proof Carrying Code (Présentation invitée) |
Amy Felty, University of Ottawa | |
10:45 | Precise, Partially Compositional Analysis of the pi-Calculus |
Sam Sanjabi, McGill University | |
11:30 | History Types and Verification |
Christian Skalka, University of Vermont | |
12:15 | Lunch |
13:15 | Administrivia |
13:30 | Burger Lazy-Scheme : Réduction de Graphe en Parallèle sur FPGA |
Étienne Bergeron, Université de Montréal | |
14:15 | Towards dynamic interprocedural analysis in JVMs |
Feng Qian, McGill University | |
15:00 | Towards an improved Java bytecode verifier |
Etienne Gagnon, Université du Québec à Montréal | |
15:45 | Closing remarks |
Stefan Monnier |
![]() |