[Prev][Next][Index][Thread]
Feasible Math Workshop
Date: Tue, 20 Jun 89 13:03:20 EDT
The Feasible Mathematics Workshop will be held
at Cornell University, Mon. June 26-28, under the
auspices of the Mathematical Sciences Institute,
organized by Sam Buss and Phil Scott. A tentative
schedule is given below.
The "official motel" (= Collegetown Motor Lodge)
is now full, but an alternative motel,Best Western
(East Hill Plaza, Ithaca: 272-6100), has been recommended.
There are no registration fees, but you have to pay
some reasonable amount for banquet (to be determined).
FEASIBLE WORKSHOP
Sun., 25 June: Party at Anil Nerode's House (evening)
Mon., 26 June: 9:00 Introduction
9:05-9:55 S. Cook
10:10-11:00 Blum
Coffee Break
11:25-12:15 Gurevich
LUNCH
2:00-2:50 Urquhart
Coffee Break
3:30-4:20 Crossley
4:35--4:55 : Contributed Talks.
Tues 27 June: 9:05-9:55 Girard
10:10-11:00 Scedrov
Coffee Break
11:25-12:15 Nerode
LUNCH
2:00-2:50 Leivant
Coffee Break
3:30-4:20 Ko
4:35--- ???
TUESDAY NIGHT: BANQUET
Wed, 28 June: 9:05-9:55 Buss
10:10-11:00 Takeuti
Break
11:25-12:15 Remmel
2:00-2:50 Clote
3:05-3:55 Ajtai
Feasible Math Workshop
TITLES: MAIN SPEAKERS
M.Ajtai: Parity & the Pigeonhole Principle
L. Blum - Computing Over the Reals (or an Arbitrary Ring)
S. Buss: Feasible Theories of Arithmetic
P. Clote: A First Order Theory for the Parallel Complexity Class NC
S. Cook: The Feasible Functionals of Finite Type (with B. Kapron)
J. Crossley: Polynomial-time Combinatorial Functions are Polynomials
J-Y Girard: Bounded Linear Logic I : A Modular Approach to Polynomial-
Time Computability (with A. Scedrov & P.J. Scott)
Y. Gurevich: On Finite Model Theory
K.-I. Ko - Computational Complexity of Roots of Real Functions
D. Leivant: TBA
A. Nerode: TBA
Jeff Remmel - Polynomially Graded Logic: A Graded Version of System T
(with A. Nerode & A. Scedrov)
A. Scedrov: Bounded Linear Logic II (Cf. J.-Y Girard)
G. Takeuti - Bounded Arithmetic and the Polynomial Hierarchy
A. Urquhart - Functional Interpretations of Feasibly Constructive Arithmetic
There will also be short contributed talks by Dekker,Ferriera, Foy, &
Kravicek.
For more info, contact Sam Buss (sbuss@ucsd.edu, 619-534-6455) or
Phil Scott (scpsg@uottawa.bitnet , 613-564-6550) , or at MSI, Diana
Drake 607-255-7740 (local organizers).