Events this week

Mon Apr 22, 2019
4 LeConte Hall, 4–5 PM
Alfred Tarski Lectures
Thomas Hales (University of Pittsburgh)
A formal proof of the Kepler conjecture
Wed Apr 24, 2019
4 LeConte Hall, 4–5 PM
Alfred Tarski Lectures
Thomas Hales (University of Pittsburgh)
Formalizing mathematics
Thu Apr 25, 2019
301 Moses, 11:30 AM–12:30 PM
Work in Progress Talk
Kristin Primus (UC Berkeley)
TBA
Thu Apr 25, 2019
315 Wheeler Hall, 5–7 PM
Timothy Campbell (Cornell University)
Ringrose Lecture: Tragic Power, Comic Self
Fri Apr 26, 2019
202 Barrows Hall, 12–3:15 PM
Workshop in Law, Philosophy, and Political Theory
Jeanne Morefield (University of Birmingham)
Global Justice and the Imperial ‘We’: Edward Said on Exilic Subjectivity
Fri Apr 26, 2019
60 Evans Hall, 4–5 PM
Alfred Tarski Lectures
Thomas Hales (University of Pittsburgh)
Integrating with Logic