Thursday
May 14, 2009		 6:00-7:00 Dinner/reception
Pfahl auditorium area, 2nd floor		                                                                                                                                
Thursday
May 14, 2009		 6:30-6:45 pm Official welcome
Pfahl auditorium area, 2nd floor		 President E. Gordon Gee                                                                                                                              
Thursday
May 14, 2009		 7-8:30 pm Plenary Lecture
Pfahl Hall 202		 Hilary Putnam, Harvard University
(Chairperson: Neil Tennant)
"Personal reflections"		                                                                                                                              
                                                                                                                                     
Friday
May 15, 2009		 7-8:15 am Breakfast
Bistro 2110		                                                                                                                                
Friday
May 15, 2009		 8-8:30 am Registration
Pfahl auditorium area, 2nd floor		                                                                                                                                
Friday
May 15, 2009		 8:30-9:20 am Special video-conferencing session
Pfahl Hall 202		 Christian Tapp, Ruhruniversitaet Bochum
(Chairperson: Patrick Reeder)
"Absolute infinity - Between mathematics and theology?"		                                                                                                                              
Friday
May 15, 2009		 9:20-10:10 am Special video-conferencing session
Pfahl Hall 202		 Wilfried Sieg, Carnegie-Mellon University (from Uppsala)
(Chairperson; Patrick Reeder)
"Is there a proof of ChurchÕs Thesis?"		                                                                                                                              
Friday
May 15, 2009		 10:10-10:30 am Coffee
Pfahl auditorium area, 2nd floor		                                                                                                                                
Friday
May 15, 2009		 10:30-11:20 am Plenary lecture
Pfahl Hall 202		 Gerald Sacks, Harvard and MIT
(Chairperson: Gerald Edgar)
"Models of long sentences"		                                                                                                                              
Friday
May 15, 2009		 11:25 am-12:15 pm Plenary lecture
Pfahl Hall 202		 Patrick Suppes, Stanford
(Chairperson: Boris Pittel)
"Neglect of Independence and Randomness in the Axioms of Probability"		                                                                                                                              
Friday
May 15, 2009		 12:15-1:15 pm Lunch
Pfahl auditorium area, 2nd floor		                                                                                                                                
Friday
May 15, 2009		 1:15-2:05 pm Plenary lecture
Pfahl Hall 202		 Martin Davis, New York University
(Chairperson: David Sanson)
"Empirical Platonism"		                                                                                                                              
Friday
May 15, 2009		 2:10-3:00 pm Honoree lecture
Pfahl Hall 202		 Harvey Friedman, The Ohio State University
(Chairperson: Avner Friedman)
"Foundational Adventures for the Future"		                                                                                                                              
Friday
May 15, 2009		 3:00-3:20 pm Coffee
Pfahl auditorium area, 2nd floor		                                                                                                                                
Friday
May 15, 2009		 3:20-4:10 pm Parallel sessions
Pfahl Hall 230, 240		 Geoffrey Hellman, University of Minnesota
(Chairperson: Lisa Shabel)
"On the Gšdel-Friedman program"		 Michael Rathjen, University of Leeds
(Chairperson: Robert Lubarsky)
"Infinitary Proof Theory and Pi-0-2 Conservation"		                                                                                                                            
Friday
May 15, 2009		 4:10-5:00 pm Parallel sessions
Pfahl Hall 230, 240		 Andrew Arana, Kansas State University
(Chairperson: Sukjae Lee)
"On Purity of Methods"		 Antonio Montalban, University of Chicago
(Chairperson: Ovidiu Costin)
"Theories of Hyperarithmetic Analysis"		                                                                                                                            
Friday
May 15, 2009		 5:00-5:50 pm Parallel sessions
Pfahl Hall 230, 240		 Rohit Parikh, Brooklyn College and CUNY Graduate Center
(Chairperson:Yuval Flicker)
"Knowledge, its logic and its effect on society"		 Jeff Hirst, Appalachian State University
(Chairperson: Neil Robertson)
"Reverse mathematics of Ramsey theory"		                                                                                                                            
Friday
May 15, 2009		 6:00-9:00 pm Dinner Free to choose                                                                                                                              
                                                                                                                                     
Saturday
May 16, 2009		 7-8:15 am Breakfast
Bistro 2110		                                                                                                                                
Saturday
May 16, 2009		 8:30-9:20 am Parallel sessions
Pfahl Hall 230, 240		 Andre Scedrov, University of Pennsylvania
(Chairperson: David Lee)
"Foundations of Network Security Protocol Analysis"		 Sam Buss, University of California at San Diego
(Chairperson: Robert Lubarsky)
"Lengths of proofs and self-reference"		                                                                                                                            
Saturday
May 16, 2009		 9:20-10:10 am Parallel sessions
Pfahl Hall 230, 240		 Michael Detlefsen, Notre Dame University
(Chairperson: George Pappas)
"Freedom and Its Ends"		 Sergei Artemov, CUNY Graduate Center
(Chairperson: Salvatore Florio)
"Mathematical Logic of Justification"		                                                                                                                            
Saturday
May 16, 2009		 10:10-10:30 am Coffee
Pfahl auditorium area, 2nd floor		                                                                                                                                
Saturday
May 16, 2009		 10:30-11:20 am Parallel sessions
Pfahl Hall 230, 240		 Hartry Field, New York University
(Chairperson: Kevin Scharp)
"Truth and Quasi-Impredicativity"		 Theodore Slaman, UC Berkeley
(Chairperson: Rodica Costin)
"Borel Determinacy and Randomness"		                                                                                                                            
Saturday
May 16, 2009		 11:20 am-12:10 pm Plenary lecture
Pfahl Hall 202		 Anil Nerode, Cornell University
(Chairperson: Anish Arora)
"Update Transducers"		                                                                                                                              
Saturday
May 16, 2009		 12:10-1:20 pm Lunch
Pfahl auditorium area, 2nd floor		                                                                                                                                
Saturday
May 16, 2009		 1:20-2:10 pm Parallel sessions
Pfahl Hall 230, 240		 Norman Carey, CUNY Graduate Center
David Clampitt, The Ohio State University
(Chairperson: Robert Kraut)
"Foundations of Western Music: Mathematical Theory of Well-formed Modes"		 Simon Thomas, Rutgers University
(Chairperson: Ron Solomon)
"The Friedman Embedding Theorem"		                                                                                                                            
Saturday
May 16, 2009		 2:10-3:00 pm Parallel sessions
Pfahl Hall 230, 240		 Albert Visser, University of Utrecht
(Chairperson: Salvatore Florio)
"Logics and Admissible Rules of Theories"		 Grigori Mints, Stanford University
(Chairperson: Robert Lubarsky)
"Analytic Cut in Modal Logic: System B"		                                                                                                                            
Saturday
May 16, 2009		 3:00-3:20 pm Coffee
Pfahl auditorium area, 2nd floor		                                                                                                                                
Saturday
May 16, 2009		 3:20-4:10 pm Parallel sessions
Pfahl Hall 230, 240		 Gregory Cherlin, Rutgers University
(Chairperson: Philip Ehrlich)
"Structure/Nonstructure for Classes of Finite Models"		 Reed Solomon, University of Connecticut
(Chairperson: Daniel Shapiro)
"Reverse mathematics and group theory"		                                                                                                                            
Saturday
May 16, 2009		 4:10-5:00 pm Parallel sessions
Pfahl Hall 230, 240		 Denis Hirschfeldt, University of Chicago
(Chairperson: Stephen Milne)
"What I Would Tell My Graduate Student Self About Reverse Mathematics"		 Bruce Weide, The Ohio State University
(Chairperson:Bill Ogden)
"Progress on the Verified Software Grand Challenge: The Resolve Approach"		                                                                                                                            
Saturday
May 16, 2009		 5:10-6:00 pm Plenary lecture
Pfahl Hall 202		 Solomon Feferman, Stanford University
(Chairperson: Craige Roberts)
"What's definite? What's not?"		                                                                                                                              
Saturday
May 16, 2009		 6:30-9:00 pm Banquet at The Fawcett Center Words of Welcome: Joan Leitzel, Dean of the Federation of Arts and Sciencies, The Ohio State University
After-dinner talk by Professor Norman Carey		                                                                                                                              
                                                                                                                                     
Sunday
May 17, 2009		 7-8:30 am Breakfast
Bistor 2110		                                                                                                                                
Sunday
May 17, 2009		 8:30-9:20 am Parallel sessions
Pfahl Hall 230, 240		 Jeff Remmel, University of California at San Diego
(Chairperson: Warren Sinnott)
"Pi^0_1 Classes in Mathematics"		 Andreas Weiermann, University of Gent
(Chairperson: Boris Pittel)
"Well-quasi orderings and independence results"		                                                                                                                            
Sunday
May 17, 2009		 9:20-10:10 am Parallel sessions
Pfahl Hall 230, 240		 Kevin Scharp, The Ohio State University
(Chairperson: Stewart Shapiro)
Modal Semantics for Descending Truth		 Victor Marek, University of Kentucky
(Chairperson: Derek Bronish)
"Reasoning about infinite sets"		                                                                                                                            
Sunday
May 17, 2009		 10:10-10:30 am Coffee
Pfahl auditorium area, 2nd floor		                                                                                                                                
Sunday
May 17, 2009		 10:30-11:20 am Parallel sessions
Pfahl Hall 230, 240		 John Burgess, Princeton University
(Chairperson: William Taschek)
"Axiomatic Theories of Truth: What We Know and What We DonÕt Know"		 Dave Marker, University of Illinois at Chicago
(Chairperson: Joseph Ferrar)
"Isomorphism for first order theories"		                                                                                                                            
Sunday
May 17, 2009		 11:20 am-12:10 pm Plenary lecture
Pfahl Hall 202		 Panel discussion with Harvey Friedman
(Chairperson: Neil Tennant)
"The General Intellectual Interest of Foundations"		                                                                                                                              
Sunday
May 17, 2009		 12:10-1:20 pm Lunch
Pfahl auditorium area, 2nd floor