Matthew Flatt

DrScheme as a Vehicle for Programming-Language Research

Utah University

2006.7.1-2007.7.1

Willem-Paul de Roever

1.Looking back upon 36 years of program Verification: A personal account.
2.Verification for Java's monitor concept.

Netherlands

2006.9.23-2006.10.3

Tony Hoare

1.Compensable Transactions
2.Unifying Theories of Concurrency:CCS and CSP

Cambridge University

2006.5.15-2006.5.20

Alagar Vasu

Concordia University

2005.7-2006.1

Robin Milner

1. A Scientific Horizon For Computing
2. Bigraphs: A Tutorial

Cambridge University

2005.4.11-2005.4.20