Invited Tutorials


Jens Palsberg Verification of Register Allocation Jan 7, 2008
Marco Pistoia Program analysis and programming languages for security Jan 8, 2008
Orna Kupferman Multivalued Logics, automata, simulations and games Jan 9, 2008