The Eighteenth Annual Gödel Lecture 2007

Ehud Hrushovski (a lecture on his work delivered in his absence by Thomas Scanlon)

The Seventeenth Annual Gödel Lecture 2006

Per Martin-Löf, The two layers of logic

The Sixteenth Annual Gödel Lecture 2005

Menachem Magidor, Skolem-Lowenheim theorems for generalized