[Home]
Overview
News
- 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