Jun. 2010
- June 24, 2010. Room 3-318 Dianxin Building. 1:00pm.
Asynchronous. Speaker: Dr. Xiaojuan Cai, Dr. Huan Long
- June 9, 2010. Room 3-318 Dianxin Building. 1:00pm.
Model Independent Characterizations for Process Pre-equalities. Speaker: Dr. Chaodong He
May. 2010
- May 27, 2010. Room 3-318 Dianxin Building. 1:00pm.
Theory of Value Passing-Calculus. Speaker: Prof. Yuxi Fu
- May 21, 2010. Room 3-318 Dianxin Building. 1:00pm.
On Bisimilarity and Substitution in Presence of Replication (Daniel Hirschkoff and Damien Pous). Speaker: Dr. Huan Long
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi (Ivan Lanese, Jorge A. Perez, Davide Sangiorgi and Alan Schmitt). Speaker: Dr. Xian Xu (ECUST)
Apr. 2010
- Apr. 29, 2010. Mitchell J.C. Foundations for programming languages (MIT, 1996), Chapter 5. Speaker: Dr. Yuxin Deng
- Apr. 22, 2010. Theory by Process, by Prof. Yuxi Fu
- Apr. 15, 2010. Mitchell J.C. Foundations for programming languages (MIT, 1996), Chapter 2 (part II). Speaker: Hao Huang
- Apr. 8, 2010. Mitchell J.C. Foundations for programming languages (MIT, 1996), Chapter 2 (part I). Speaker: Hao Huang
Mar. 2010
- Mar. 25, 2010. A Logical Interpretation of the Lambda Calculus into the Pi Calculus(CONCUR 09). Speaker: Xiaojuan Cai.
- Mar. 25, 2010. On Process Equivalence = Equation Solving in CCS(J Autom Reasoning 2009). Speaker: Hao Huang