[Home]
Overview
People
Research
Teaching
Seminars
Summer School
Links
Contact
News
(2008-06-26)
2008 Practice for Undergraduate Students
(2008-06-24)
Workshop on PCP Theorem
(2008-06-18) BASICS'08 Summer School on Graphs and Algorithms (
Announcement
,
Schedule
updated!
,
Experts
,
Notice
updated!
)
(2008-05-27)
SJTU-JAIST COE Joint Workshop on Formal Method
(2008-01-18)
2008 Basics New Year's Workshop
(2007-08-23)
BASICS'07 Summer School on Algorithms, Complexity and Cryptography
(2007-07-03)
2007 Practice for Undergraduate Students
(2006-10-29)
BASICS'06 Summer School on Cutting-Edge Problems in Theoretical Computer Science
(2006-10-10)
Mini-Course on Tree-decompositions and Logic by Prof. Dr. Jörg Flum
(2005-08-15)
BASICS'05 Summer School on Theory and Applicantion of Concurrency
Last updated: June 26, 2008