The 2019 Tarski Lectures will be given by Thomas Hales, of the University of Pittsburgh, on April 22nd, April 24th, and April 26th. Each lecture begins at 4:10pm. Following is a breakdown of the lectures:
Monday, April 22, 2019
A formal proof of the Kepler conjecture
4:10 - 5:00 pm
4 LeConte Hall
Wednesday, April 24, 2019
Formalizing mathematics
4:10 - 5:00 pm
4 LeConte Hall
Friday, April 26, 2019
Integrating with Logic
4:10 - 5:00 pm
60 Evans Hall