[Home]
Overview
News
- Aug 19 - Aug 24, 2012.
BASICS 2012- Summer School on Domain Theory
- Aug 14 - Aug 19, 2011.
BASICS 2011 --- Summer School on Algorithmic Game Theory
- May 13 - May 14, 2011.
AWFS 2011 --- The Eighth Asian Workshop on Foundation of Software
- Nov 28 - Dec 1, 2010.
APLAS 2010 --- The Eighth Asian Symposium on Programming Languages and Systems
- Oct 12 - Oct 16, 2010.
BASICS 2010 --- Summer School on Types and Programming Languages
- Jun. 10. 2010. Invited Talk: Verifying a Wait Free Register Algorithm Using Assertional Reasoning, by Prof. Qiwen Xu (University of Macau). 3:30pm, Rm 3-318, Dianxin Building.
- May. 14. 2010. Invited Talk: On the Distributed Evaluation of Logical Properties of Graphs, by Prof. Stéphane Grumbach (INRIA-LIAMA).
- May. 14. 2010. Invited Talk: Duality and Computational Models, by Prabhu Manyem (Shanghai University).
- May. 5. 2010. Talk: The existence of optimal algorithms for TAUT and its consequences, by Dr. Yijia Chen.
- Oct 11-16, 2009. BASICS 2009 Workshop on Computation and Interaction
- Jun 17, 2009. The 2009 SJTU-JAIST Joint Workshop on Formal Methods
>>More News ...