CONCUR Invited Speakers

Static Analysis Versus Model Checking for Bug Finding
Dawson Engler (Stanford University, joint CONCUR/SPIN speaker)
Tuesday, August 23

The Benefits of Exposing Calls and Returns
Rajeev Alur (University of Pennsylvania joint CONCUR/SPIN speaker)
Wednesday, August 24

A Compositional Approach to the Stochastic Dynamics of Gene Networks
Luca Cardelli (Microsoft Research, Cambridge)
Thursday, August 25

Games Other People Play
Christos Papadimitriou (UC Berkeley)
Friday, August 26