Monday, April 18
4:00 pm - 5:00 pm	Computing + Mathematical Sciences Lecture Moore B270 Software Synthesis using Automated Reasoning Ruzica Piskac, Ecole Polytechnique Federal de Lausanne, Switzerland,
4:00 pm - 5:00 pm	Astronomy Tea Talk Cahill, Hameetman Auditorium Ground-based Exoplanet Imaging: New Science Programs and the Prospects for Discovery Justin Crepp, postdoctoral scholar in astronomy, Caltech,
4:00 pm - 5:00 pm	Biophysics Lecture Beckman Institute Auditorium The Role of Fluctuation Theorems in Experimental Biology Johan Paulsson, associate professor of systems biology, Harvard Medical School,
4:15 pm - 5:15 pm	Applied Mathematics Colloquium Annenberg 105 Nonlocal Maximum Principles for Active Scalars Alex Kiselev, professor of mathematics, University of Wisconsin, Madison,

Tuesday, April 19
3:00 pm - 4:00 pm	Institute for Quantum Information Seminar Annenberg 107 Improving Telescopes with Quantum Repeaters Daniel Gottessman, Perimeter Institute,
3:30 pm - 5:00 pm	Carnegie Observatories Colloquium Carnegie Observatories, 813 Santa Barbara St., William T. Golden Auditorium Topic to be announced. Michael F. A'Hearn, University of Maryland,

Wednesday, April 20
12:00 pm - 1:00 pm	IPAC Astronomy Lunch Seminar IPAC 102 (Large Conference Room) Herschel Observations of Molecular Oxygen in Orion Paul Goldsmith, senior research scientist, JPL,
1:15 pm - 2:30 pm	High Energy Theory Seminar Lauritsen 469 Topic to be announced. Cynthia Keeler, Harvard University,
4:00 pm - 5:00 pm	Astronomy Colloquium Cahill, Hameetman Auditorium Chandra's First Decade (Plus) of Discovery (13th Annual Greenstein Lecturer) Harvey Tananbaum, CHANDRA Center,
4:00 pm - 5:00 pm	Computing + Mathematical Sciences Lecture Annenberg 105 Markov Logic in Machine Reading Hoifung Poon, University of Washington,

Thursday, April 21
4:00 pm - 5:00 pm	Physics Research Conference East Bridge 201 (Richard P. Feynman Lecture Hall) Quantum Light and Sound Andrew Cleland, professor of physics, UC Santa Barbara,

Friday, April 22
11:00 am - 12:00 pm	High Energy Theory Seminar Lauritsen 469 Eternal Inflation in the Light of Quantum Cosmology James Hartle, UC Santa Barbara,
1:00 pm - 2:00 pm	High Energy Theory Seminar Lauritsen 469 Fun with F-theory GUT Joseph Marsano, the University of Chicago,