• S. Friedman, MIT
• J. Knight, Notre Dame
• S. Lempp, Wisconsin-Madison
• T. Pitassi, Arizona
• H. Schoutens, Wesleyan
• S. Thomas, Rutgers
• V. Vianu, UC San Diego
• J. Zapletal, Dartmouth

• M. Magidor, Hebrew University

• R. Fagin, IBM Almaden

• M. Friedman, Indiana
• C.  Parsons, Harvard
• W. Tait, Chicago

Gödel Lecture:

• S. Cook, Toronto

Special Sessions & Organizers

• Computability Theory - C.G. Jockusch, Jr.
• Finite Model Thory & Stability Theory - J. Baldwin
• Philosophical Logic - V. McGee & G. Sher
• Proof Theory & Complexity - S. Buss
• Set Theory - G. Hjorth