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 |