Overview Program for ASL 2002 Annual Meeting

For information about the special sessions, please consult the Special Sessions Schedule. For the main program, please click here.

Plenary Speakers
Scott Adams, University of Minnesota
Edmund Clarke, Carnegie Mellon University
Greg Hjorth, University of California at Los Angeles
Shaughan Lavine, University of Arizona
Zlil Sela, Hebrew University
Natarajan Shankar, SRI International
Stephen Simpson, Pennsylvania State University
Stevo Todorcevic, University of Toronto and CNRS-Paris7
William Tait, University of Chicago
Jessica Young, Harvard University
W. Hugh Woodin, University of California, Berkeley

Thirteenth Annual Goedel Lecture
Harvey Friedman, Ohio State University

Special Sessions (organizers in parentheses)
Education (Jean Larson, University of Florida, Gainesville)
Logic in Computer Science (Edmund Clarke, Carnegie Mellon University, and Natarajan Shankar, SRI International)
Philosophy of Mathematics (William Tait, University of Chicago)
Set Theory (W. Hugh Woodin, University of California at Berkeley)



Home | Program | Registration | Hotel Info | Travel/Directions | Airport | Student Travel Grants | Contributed Papers | Maps | Las Vegas Info | Local Dining | Parking Info | Financial Support | UNLV Home Page | ASL Home Page | Organizers