5/3
10:00 - 10:30	T. Feng, L. Wang, W. Zheng
10:30 - 11:00	M. Case, K. Lwin
11:00 - 11:30	A. Chlipala


5/8
10:00 - 10:30	N. Kitchen, Q. Zhu
10:30 - 11:00	B. Brady, Y. Yang
11:00 - 11:30	Z. Anderson
11:30 - 12:00	G. Arnold, A. Solar-Lezama, L. Tancau