Thursday, September 8
Anil Nerode, Cornell
Nonmonotonic logic, continued
Thursday, September 22
Bakhadyr Khoussainov, MSI
On automatic representations of structures
Thursday, September 29
Chris Leary, Geneseo
Games and filters on omega
Tuesday, October 4
Jennifer Davoren, Cornell
Extensions
Thursday, October 6
Dexter Kozen, Cornell
Logical aspects of set constraints
Thursday, October 13
Reed Solomon, Cornell
Cut elimination
Tuesday, October 18
Reed Solomon, Cornell
Characterizations of extensions
Thursday, October 20
Xiaolin Ge, MSI
Computable semicontinuous real functions
Tuesday, October 25
Denis Hirschfeldt, Cornell
Well orderings and priorities
Tuesday, November 1
Ashvin Dsouza, Cornell
Computing extensions
Thursday, November 3
Sergei Goncharov, Novosibirsk University
Computable classes of recursive models
Tuesday, November 8
Robert Milnikel, Cornell
Normal default theories
Thursday, November 10
Sergei Goncharov, Novosibirsk University
Families of r.e. sets with unique computable enumerations
Thursday, November 17
Wiktor Marek, Univ. of Kentucky
Revision programming
Tuesday, January 31
Howard Blair, Syracuse University
Logic programming
Tuesday, February 7
Richard Shore, Cornell
Modal logic
Thursday, February 9
Qi Chen, Cornell
Recursive chattering lemma
Tuesday, February 14
Reed Solomon, Cornell
Circumscription
Thursday, February 16
Jennifer Davoren, Cornell
Extracting finite automata for hybrid systems
Tuesday, February 21
Robert Milnikel, Cornell
Modal nonmonotonic logic
Thursday, February 23
Denis Hirschfeldt, Cornell
Ramsey's theorem and reverse mathematics
Tuesday, February 28
Robert Milnikel, Cornell
Modal nonmonotonic logic
Thursday, March 2
Andre Nies, Cornell visitor
Application of coding methods to structures from computability theory, I
Tuesday, March 7
Robert Milnikel, Cornell
Nonmonotonic modal logics
Thursday, March 9
Andre Nies, Cornell visitor
Application of coding methods to structures from computability theory, II
Tuesday, March 14
Robert Milnikel, Cornell
Nonmonotonic modal logic
Thursday, March 16
Bakhadyr Khoussainov, MSI
Presentations, reducibilities, and dimensions of recursive models
Tuesday, March 28
Denis Hirschfeldt, Cornell
Complexity results for nonmonotonic logics
Thursday, March 30
Dexter Kozen, Cornell
Rational spaces and set constraints
Tuesday, April 4
Denis Hirschfeldt, Cornell
Complexity of nonmonotonic logic
Thursday, April 6
Reed Solomon, Cornell
Embeddings into the r.e. degrees with one an ordering on the first jumps
Tuesday, April 11
Ashvin Dsouza, Cornell
Well founded semantics for general logic programs
Thursday, April 13
Leon Harkleroad, Cornell visitor
Effectivizing combinatorics: variations on Szpilrajn and Dilworth
Tuesday, April 18
Jennifer Davoren, Cornell
Three valued nonmonotonic logic
Thursday, April 27
John Rosenthal, Ithaca College
On the geometry of algebraically closed subfields of an algebraically
closed field (in memory of Chris Ash)
Thursday, May 4
Andre Nies, Cornell visitor
Coding in the lattice of R.E. sets