The First China Symposium on Theoretical Computer Science Held at Tsinghua