Tsinghua-CUHK Theory Workshop 2007

Program

Date Time	Friday November 30, 2007	Saturday December 1, 2007	Sunday December 2, 2007
8:00-9:00	Registration for Tsinghua	8:00-8:50 Registration	8:30-9:00 Registration
		8:50-9:00 Opening Ceremony
9:00-10:00		Session 1 Theory	Session 5 Theory and applications
10:00-10:40		Coffee Break	10:00-10:30 Coffee Break
10:40-12:00		Session 2 Network coding and information theory	10:30-11:50 Session 6 Wireless and P2P systems
			11:50-12:00 Closing Remarks
12:00-14:00		Lunch
14:00-15:00		Session 3 Crypto and security
15:00-15:40		Coffee Break
15:40-17:00		Session 4  Optimization and control
17:00-18:00	17:00-19:00 Registration for CUHK	Panel Discussion
18:00-20:00		Banquet

Friday, November 30th

• 8:00-19:00 Registration

Saturday, December 1st

• 8:00-8:50 Registration
• 8:50-9:00 Opening Ceremony
• 9:00-10:00 Session 1: Theory (Chair: Xiaoming Sun)
  • 9:00-9:20 Ker-I Ko: Computational complexity of continuous geometric problems
  • 9:20-9:40 Elad Verbin: Text-Compression using the Burrows-Wheeler Transform
  • 9:40-10:00 Christophe Tartary: List recoverable codes for multicast stream authentication
• 10:00-10:40 Coffee Break
• 10:40-12:00 Session 2: Network coding and information theory
                                 (Chair: Leizhen Cai)
  • 10:40-11:00 Raymond Yeung: Network coding: an introduction
  • 11:00-11:20 Sid Jaggi: 'Real' Slepiam-Wolf codes: Convex-optimization based information theory
  • 11:20-11:40 Lap Chi Lau: Stein tree packing
  • 11:40-12:00 Chandra Nair: Counting matchings: deterministic approximation algorithms
• 12:00 Group Photo: West Gate of FIT Building
• 12:00-14:00 Lunch
• 14:00-15:00 Session 3:  Crypto and security (Chair: Ker-I Ko)
  • 14:00-14:20 Yunlei Zhao: Cryptographic Protocol Composition: Theory and Applications
  • 14:20-14:40 Andrej Bogdanov: Recent advances in pseudorandomness
  • 14:40-15:00 Xiangbin Wang: Decoy-state QKD with inexactly controlled source
• 15:00-15:40 Coffee Break
• 15:40-17:00 Session 4: Optimization and control (Chair: Angela Zhang)
  • 15:40-16:00 Shuzhong Zhang: Randomized Algorithms for Quadratic Optimization, via Semidefinite Programming
  • 16:00-16:20 Anthony So: Stochastic Combinatorial Optimization with Controllable Risk-Aversion Level
  • 16:20-16:40 WS Wong: Control communication complexity
  • 16:40-17:00 Dah Ming Chiu: A couple of unconventional but challenging research problems
• 17:00-18:00 Panel  Discussion
• 18:00-20:00 Banquet

Sunday, December 2nd

• 8:30-9:00 Registration
• 9:00-10:00 Session 5: Theory and applications (Chair: Xiangbin Wang)
  • 9:00-9:20 Minming Li: Energy-Efficient Scheduling for Variable Voltage Processors
  • 9:20-9:40 Xiaoming Sun: Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-Prover Interactive Proof Systems
  • 9:40-10:00 Francis Lau: Some results in interval routing
• 10:00-10:30 Coffee Break
• 10:30-11:50 Session 6: Wireless and P2P systems
                                 (Chair: Raymond Yeung)
  • 10:30-10:50 Soung Liew: VoIP in WLans
  • 10:50-11:10 Angela Zhang: Distributed multiuser diversity in IEEE 802.11 WLans
  • 11:10-11:30 JianWei Huang: Reverse-Engineering MAC: A Non-Cooperative Game Model
  • 11:30-11:50 Minghua Chen: Utility maximization in P2P systems
• 11:50-12:00 Closing Remarks
• 12:00-14:00 Lunch