Luo Zhaohui

Univ of London

Kim Guldstrand Larsen

University of Aalborg

2007.8.11-2007.8.17

Juris Hartmanis

2007 Einstein Professor of the Academy

2007.9.15-2007.9-25

Jia-Huai You

University of Alberta

2007.3.7-2007.3.22

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