Anil Nerode, Cornell

Nonmonotonic logic

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