-
Andrey Rybalchenko, EPFL, Lausane (Switzerland)
Termination Proofs for Systems Code
-
Robin Milner, Cambridge (UK)
Bigraphs, Multi-local Names and Confluence
(Joint EXPRESS-INFINITY-SOS invited lecture)
-
Mahesh Viswanathan, Urbana-Champaign (Illinois, USA)
Learning to Verify
|