PROGRAM

Invited Lectures

John Baldwin, University of Illinois at Chicago
Lev Beklemishev, Utrecht University
Michael Hallett, McGill University
Valentina Harizanov, George Washington University
Steve Jackson, University of North Texas
Kenneth Kunen, University of Wisconsin
Angus MacIntyre, Edinburgh University
Penelope Maddy, University of California at Irvine
Joe Miller, Victoria University of Wellington
Michael Rathjen, Ohio State University
Paul Vitanyi, University of Amsterdam

Titles and abstracts

---

Fifteenth Annual Gödel Lecture

Michael Rabin, Harvard University

Titles and abstracts

---

Special Lectures

William Howard, University of Illinois at Chicago
John McCarthy, Stanford University
Dana Scott, Carnegie Mellon University

Titles and abstracts

---

Tutorials

Proof Mining
Jeremy Avigad, Carnegie Mellon University
Proof Complexity and Computational Complexity
Toni Pitassi, University of Toronton

Titles and abstracts

---

Panel Discussion

Mathematical Logic in Computer Science Education,
organized by Jeff Hirst, Appalachian State University

Titles and abstracts

---

Special Sessions (organizers in parentheses)

Logical Foundations of Programming Semantics
(Steve Awodey, Carnegie Mellon University)
Titles and abstracts

Set Theory
(James Cummings and Ernest Schimmerling, Carnegie Mellon University)
Titles and abstracts

Gödel and Mathematical Logic in the 20th Century
(Solomon Feferman, Stanford University, and Wilfried Sieg, Carnegie Mellon University)
Titles and abstracts

Logic and Games
(Rohit Parikh, City University of New York)
Titles and abstracts

---

Abstracts and titles of contributed talks

Abstracts presented by title

---