Association for Sybolic Logic: Annual Meeting

ASL 99 Schedule: Plenary Talks


This page shows the schedule of hour-long invited talks.
For the rest of the schedule, consult the Special Sessions Schedule and the Contributed Talks Schedule.

The complete program is available in postscript format.


Saturday
March 20
Sunday
March 21
Monday
March 22
Tuesday
March 23
Morning Session
8:15 am Coffee & Snacks Coffee & Snacks Coffee & Snacks Coffee & Snacks
8:45 am Steffen Lempp Ronald Fagin Menachem Magidor Toniann Pitassi
9:45 am Break Break Break Break
10:00 am Victor Vianu Simon Thomas Hans Schoutens Julia Knight
11:00 am Break Break Break (11:15)
Sy Friedman
11:30 am Jindrich Zapletal Stephen Cook Ronald Fagin
12:30 pm Break Break Break
  Afternoon Session
2:00 pm Mini-symposium on
Mathematical Intuition


Charles Parsons
William Tait.
Michael Friedman
Special Sessions I

Special Sessions II

 
4:15 pm Contributed Talks I Contributed Talks II





Saturday, March 20 - Price Center, Ballroom A
Morning Session
8:15 am: Coffee & Snacks
8:35 am: Opening remarks
8:45-9:45: Steffen Lempp, Univ. of Wisconsin, Madison,
"The structure of the Sigma-2 enumeration degrees."
9:45-10:00: Break
10:00-11:00: Victor Vianu UCSD, "Topological Queries in Spatial Databases."
11:00-11:30: Break
11:30-12:30: Jindrich Zapletal, Dartmouth, "Terminal Notions in Set Theory".
12:30-2:00: Break
Afternoon Session
2:00-5:00: Symposium on Mathematical Intuition

Charles Parsons, Harvard University, "Two conceptions of intuition."
William Tait, Univeristy of Chicago,
"Realism and intuition: A critical discussion of Gödel's philosophy."
Michael Friedman, University of Indiana,
"Geometry, Construction and Intuition in Kant and his Successors".
5:30-7:30: Reception. UCSD International Center.


Sunday, March 21 - Center Hall, Room 109
Morning Session
8:15 am: Coffee & Snacks
8:45-9:45: Ronald Fagin, IBM Almaden, "Finite-Model Theory - a personal perspective."
9:45-10:00: Break
10:00-11:00: Simon Thomas, Rutgers University, "The Automorphism Tower Problem."
11:00-11:30: Break
11:30-12:30: Stephen Cook, University of Toronto, "Logic and computational complexity."
12:30-2:00: Break
Afternoon Session
2:00-3:55: Special Sessions I
a. Computability Theory.
b. Finite Model Theory & Stability Theory.
c. Philosophy: Second-order logic.
d. Proof Theory & Complexity.
e. Set Theory.
4:15-5:50: Contributed talks I
7:00-9:00: Reception. Radisson Hotel.
8:30-11:00:ASL council meeting. Radisson Hotel.

Monday, March 22 - Center Hall, Room 109
Morning Session
8:15 am: Coffee & Snacks
8:45-9:45: Menachem Magidor, Hebrew University
9:45-10:00: Break
10:00-11:00: Hans Schoutens, Wesleyan, "Asymptotically Definable Structures."
11:00-11:30: Break
11:30-12:30: Ronald Fagin, IBM Almaden, "Easier Ways to Win Logical Games."
12:30-2:00: Break
Afternoon Session
2:00-3:55: Special Sessions II
a. Computability Theory
b. Finite Model Theory & Stability Theory
c. Philosophy: Nominalism and Realism
d. Proof Theory and Complexity
e. Set Theory.
4:15-5:50: Contributed talks II
8:30-11:00:ASL council meeting

Tuesday, March 23 - Center Hall, Room 109
Morning Session
8:15 am: Coffee & Snacks
8:45-9:45: Toniann Pitassi, University of Arizona, "Algebraic Proof Systems and Binomial Ideals."
9:45-10:00: Break
10:00-11:00: Julia Knight, University of Notre Dame, "Complexity and Arithmetic."
11:00-11:15: Break
11:15-12:15: Sy Friedman, MIT, "Genericity and Large Cardinals."


Home | Program | Registration | Hotel Info | Student Travel Grants | Contributed Papers | UCSD Info | Poster | Organizers