|
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 - 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 |
|
|
|
|