Tuesday, August 31
Walker White
Cornell University
Algorithmic complexity of some model theoretic properties
Thursday, September 2
Roman Tymkiv
Cornell University
Intuitionistic arithmetic
Tuesday, September 7
Walker White
Cornell University
Algorithmic complexity of some model theoretic properties II
Thursday, September 9
Joe Miller
Cornell University
Realizability and recursive mathematics I: intuitionistic set theory
Tuesday, September 14
Richard Shore
Cornell University
Defining the Turing jump I
Thursday, September 16
Joe Miller
Cornell University
Realizability and recursive mathematics II: the general
realizability structure
Tuesday, September 21
Sergei Artemov
Cornell University
Proof realizability
Thursday, September 23
Joe Miller
Cornell University
Realizability and recursive mathematics III
Tuesday, September 28
Harold Hodes
Cornell University
Generalizing natural deduction (at least slightly)
Thursday, September 30
Joe Miller
Cornell University
Realizability and recursive mathematics IV
Tuesday, October 5
Alexandre Evfimievski
Cornell University
A probabilistic algorithm for updating files over a
communication link
Thursday, October 7
Joe Miller
Cornell University
Realizability and recursive mathematics V
Tuesday, October 12
Philip Scowcroft
Wesleyan University
Intuitionistic analysis
Thursday, October 14
Philip Scowcroft
Wesleyan University
Intuitionistic analysis II
Tuesday, October 19
Alexei Kopylov
Cornell University
Linear logic
Tuesday, October 26
Alexei Kopylov
Cornell University
Linear logic, part II: decidability of linear affine logic
Thursday, October 28
Walker White
Cornell University
Realizability and recursive mathematics
Thursday, November 4
Walker White
Cornell University
Realizability and recursive mathematics II
Tuesday, November 9
Suman Ganguli
Cornell University
Realizability and recursive set theory
Thursday, November 11
Harvey Friedman
Ohio State University
Approximate fixed points, disjoint covers and optimized posets
Tuesday, November 16
Suman Ganguli
Cornell University
Realizability and recursive set theory II
Thursday, November 18
Steve Zdancewic
Cornell University
Computational interpretation of classical proofs
Tuesday, November 23
Suman Ganguli
Cornell University
Realizability and recursive set theory III
Thursday, January 27
Vitezxlav Svejdar
Karlovy University
PSPACE-completeness in some non-classical logics
Tuesday, February 1
Richard Shore
Cornell University
Defining the Turing jump I
Thursday, February 3
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets I
Tuesday, February 8
Richard Shore
Cornell University
Defining the Turing jump II
Thursday, February 10
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets II
Tuesday, February 15
Joseph Miller
Cornell University
Variations on timed automata
Thursday, February 17
Roman Tymkiv
Cornell University
Constructive ordinals and Pi-1-1 sets III
Tuesday, February 22
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy
Tuesday, February 29
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic I
Thursday, March 2
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy II
Tuesday, March 7
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic II
Thursday, March 9
Yuval Gabay
Cornell University
The hyperarithmetic hierarchy III
Tuesday, March 14
Suman Ganguli
Cornell University
Decidable Kripke models for modal logic III
Thursday, March 16
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals I
Tuesday, March 28
Richard Shore
Cornell University
Another splitting theorem
Thursday, March 30
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals II
Tuesday, April 4
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals III
Thursday, April 6
Noam Greenberg
Cornell University
Sigma-1-1 predicates of reals IV
Tuesday, April 11
Roman Tymkiv
Cornell University
Finite computable dimension does not relativize
Wednesday, April 12
Gerald Sacks
Harvard University and MIT
E-recursion I
Thursday, April 13
Gerald Sacks
Harvard University and MIT
E-recursion II
Tuesday, April 18
Walker White
Cornell University
Metarecursion: enumerability I
Tuesday, April 25
Walker White
Cornell University
Metarecursion: enumerability II
Tuesday, May 2
Walker White
Cornell University
Metarecursion: priority arguments
Thursday, May 4
Walker White
Cornell University
Metarecursion: priority arguments