SAS '02 LOPSTR '02 CoLogNET WS AGP '02 Venue Schedule Invited Talks Social Events Registration Accommodation Organization Sponsorships Last News

Invited Talks Monday 16 10:00-11:00 Whatever Happened to Meta-Programming? John Gallagher, University of Bristol Abstract Tuesday 17 9:00-10:00 Secrets of Software Model Checking Thomas Ball, Microsoft Research Abstract Wednesday 18 9:00-10:00 Static Program Analysis via 3-Valued Logic Thomas Reps, University of Wisconsin Abstract Thursday 19 9:00-10:00 Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges Robert J. Hall, AT&T Labs Research Abstract Friday 20 9:00-10:00 An Algebraic Approach to the Static Analysis of Concurrent Software Javier Esparza, University of Edinburgh Abstract