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