Program of PFM
List of Talks
- Alessandro Coglio (Kestrel Institute)
JVM Specification
- Adriana Compagnoni (Stevens Institute of Technology)
Proof Carrying Code
- Cedric Fournet (Microsoft Europe)
Security of mobile processes
- Daniel Hirschkoff (Ecole Normale Superieure de Lyon)
Theorem Provers
- Uwe Nestmann (Polytechnique de Lausanne)
Mobile objects
- Hanne Riis and Flemming Nielson (University of Aarhus)
Control Flow Analysis
- Carolyn Talcott (Stanford University)
Active Networks
- Bjorn Victor (University of Upsala)
Tools for automated verification