No. 讲座题目 主讲人 时间 地址
46 Describing vs. proving: connecting bounded arithmetic and descriptive complexity Antonina Kolokolova
Simon Fraser University
2007-05-15 15:00-16:00 FIT Building 4-603, Tsinghua University
45 Chernoff-type Direct Product Theorems Valentine Kabanets
Simon Fraser University
2007-05-15 14:00-15:00 FIT Building 4-603, Tsinghua University
44 co-B\"uchi Rankings and omega-Automata Transformations Qiqi Yan
Shanghai Jiao Tong University
2007-04-20 15:30-16:30 FIT Building,Tsinghua University
43 An Appropriate Design for Trusted Computingand Digital Rights Management Clark Thomborson
The University of Auckland
2007-03-29 15:30-15:30 FIT Building,Tsinghua University
42 Two zero-knowledge interactive proofs for problems in graph theory with applicat Yvo Desmedt
University College London
2007-03-28 16:30-17:30 FIT Building,Tsinghua University
41 All problems in statistical zero-knowledge have a classical protocol secure agai Shengyu Zhang
California Institute of Technology
2007-03-27 14:00-15:30 FIT Building, Tsinghua University
40 Post Quantum Signatures Johannes buchmann
Technische Universität Darmstadt
2007-03-14 14:30-15:30 FIT Building,Tsinghua University
39 Hamiltonicity of Regular Graphs and Blocks of Consecutive Ones in Symmetric Matr Francis Lau
The University of Hong Kong
2007-03-13 14:30-15:30 FIT Building, Tsinghua University
38 Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs Adi Shamir
Weizmann Institute of Science
2006-12-14 14:00-15:00 FIT-1-222
37 Solving Huge Systems of Linear Equations Adi Shamir
Weizmann Institute of Science, Israel
2006-12-14 10:20-11:25 Teaching Building 6A-017
36 Graph Problems in the Streaming Model Sampath Kannan
University of Pennsylvania
2006-10-19 14:00-15:00 FIT Building,Tsinghua University
35 Theory of Computation as a Lens on the Sciences: the Example of Computational Mo Richard Karp
University of California, Berkeley
2006-09-11 14:00-15:00 FIT Building,Tsinghua University
34 The Knuth-Yao Quadrangle Inequality Speedup is a Consequence of Total Monotonici Mordecai Golin
Hong Kong University of Science & Technology
2006-06-05 14:00-15:00 FIT Building,Tsinghua University
33 How Many Founders Shall we assume for Haplotype Reconstruction? -- on Coalescenc Eric Xing
Carnegie-Mellon University
2006-04-25 14:00-15:00 FIT Building,Tsinghua University
32 A Short Introduction to Combinatorial Property Testing: Part II Dana Ron
Tel Aviv University, Israel
2006-04-14 15:00-16:00 FIT Building,Tsinghua University
31 Probabilistic Proof Systems: Part II Oded Goldreich
Weizmann Institute of Science, Israel
2006-04-14 14:00-15:00 FIT Building,Tsinghua University
30 A Short Introduction to Combinatorial Property Testing: Part I Dana Ron
Tel Aviv University, Israel
2006-04-12 15:00-16:00 FIT Building,Tsinghua University
29 Probabilistic Proof Systems: Part I Oded Goldreich
Weizmann Institute of Science, Israel
2006-04-12 14:00-15:00 FIT Building,Tsinghua University
28 Exclusive Set Systems and Applications David Woodruff
MIT
2006-04-07 10:00-11:00 FIT Building,Tsinghua University
27 Gowers Uniformity, Influence of Variables and Probabilistically Checkable Proofs Luca Trevisan
UC Berkeley
2006-03-31 14:00-15:00 FIT Building, Tsinghua University