Basic Studies in Computing Science

Aug 18 – Aug 23, 2013 BASICS2013 Summer School on Verification on Infinite State Systems
June 18, 2013. The 6th NSFC-JSPS Joint Workshop on Formal Methods
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
Jan 10, 2009. 2009 Basics New Year's Workshop
Nov 28, 2008. Two Talks on Formal Methods by Prof. Yuen and Prof. Sakai
Aug 22, 2008. Computational Complexity Seminar
Aug 9, 2008. BASICS'08 Summer School on Graphs and Algorithms
Jun 26, 2008. 2008 Practice for Undergraduate Students
Jun 24, 2008. Workshop on PCP Theorem
May 27, 2008. SJTU-JAIST COE Joint Workshop on Formal Methods
Jan 18, 2008. 2008 Basics New Year's Workshop
Aug 23, 2007. BASICS'07 Summer School on Algorithms, Complexity and Cryptography
Jul 3, 2007. 2007 Practice for Undergraduate Students
Oct 29, 2006. BASICS'06 Summer School on Cutting-Edge Problems in Theoretical Computer Science
Oct 10, 2006. Mini-Course on Tree-decompositions and Logic by Prof. Dr. Jörg Flum
Aug 15, 2005. BASICS'05 Summer School on Theory and Applicantion of Concurrency