Program
Chess Winter Meeting - February 14th, 2007
540 Cory Hall, UC Berkeley

8:30	Introduction
8:30–8:45	Jonathan Sprinkle Overview of the CHESS Center
8:45	Technical Talks
8:45–9:15	Jonathan Sprinkle Making Research out of Contests: The CHESS Approach to the DARPA Grand Challenge
9:15–10:15	Claire J. Tomlin Cooperative control of a Quadrotor Aircraft Fleet to seek Information
10:30–11:30	Alberto Sangiovanni-Vincentelli A General Synthesis Approach for Embedded Systems Design with Applications to Multi-media and Automotive Designs
11:30–12:00	Abhijit Davare Metropolis II: A Next-Generation Framework for Platform-based Design

12:30–1:30	Thomas A. Henzinger Value-Iteration Fixpoints in Verification and Control
1:30–2:00	Karl Hedrick Modeling and Control for Reduced Hydorcarbons During Coldstart
2:15–3:00	Shankar Sastry Networked Embedded Systems: Beyond Sensor Webs
3:00–4:00	Edward A. Lee Discrete Event Models: Getting the Semantics Right
4:00	Closing
	Jonathan Sprinkle

Due to the Valentine's Holiday, there will be no formal reception