May 23 – May 25, 2012

Graduate Center, City University of New York

List of Confirmed Speakers   current as of 3/25/12                                  Conference Schedule PDF / RTF
                                                                                                         Poster PDF (3.3MB) / JPG (550KB)

                                                                                       

Arnon Avron (Tel Aviv University)

Adam Brandenburger (New York University)

Sam Buss (University of California San Diego)

Robert Constable (Cornell University)

Solomon Feferman (Stanford University)

Melvin Fitting (City University of New York)

Harvey Friedman (Ohio State University)

Haim Gaifman (Columbia University)

Dexter Kozen (Cornell University)

Victor Marek (University of Kentucky)

Robert Milnikel (Kenyon College)

Joan Moschovakis (Occidental College and MPLA in Athens)

Yiannis Moschovakis (University of California Los Angeles)

Pavel Naumov (McDaniel College)

Anil Nerode (Cornell University)

Rohit Parikh (City University of New York)

Vaughan Pratt (Stanford University)

Jeff Remmel (University of California San Diego)

Bryan Renne (University of Amsterdam)

Gerald Sacks (Harvard University /Massachusetts Institute of Technology)

Andre Scedrov (University of Pennsylvania)

Johan van Benthem (University of Amsterdam/Stanford University)

Conference Schedule current as of 5/13/12                                             

Titles and abstracts will be posted as they become available.

May 23, Wednesday

8:30 -             snack breakfast / coffee

9:00 - 9:15     Official Opening

9:15 - 10:00   Gerald Sacks (Harvard & MIT) -- Condensing Theories

10:00 - 10:45 Victor Marek (University of Kentucky) -- Solvers - applications of logic at the beginning of the                                                                                       21st Century

Coffee Break

11:00 - 11:45 Solomon Feferman (Stanford) -- Which Quantifiers are logical? A combined semantical and                                                                           inferential criterion

11:45 - 12:30 Haim Gaifman (Columbia) -- TBA

Lunch

2:00 - 2:45 Sergei Artemov (CUNY) -- A classical view of constructive semantics

2:45 - 3:30 Dexter Kozen (Cornell) -- TBA

Coffee Break

3:45 - 4:15 Bryan Renne (Universities of Amsterdam & of British Columbia) -- The Dynamic Logic of                                                                                                                         Justified Knowledge and Belief

4:15 - 5:00 Harvey Friedman (Ohio State) -- Invariant Maximality

5:00 - 6:30 Welcome party: wine and cheese at the Graduate Center

6:30 - 8:00 Piano recital by Harvey Friedman

May 24, Thursday

8:30 -          snack breakfast/coffee

9:00 - 9:45  Robert Constable (Cornell) -- Intersection Types in Constructive Type Theory

9:45 -10:30 Andre Scedrov (U Penn) -- Collaborative Systems

Coffee Break

10:45 - 11:30 Joan Moschovakis (Occidental & MPLA in Athens) -- 'At Most One' constructively

11:30 - 12:15 Yiannis Moschovakis (UCLA & University of Athens) -- Intrinsic complexity in arithmetic and                                                                                                             algebra

Lunch

2:00 - 2:45 Sam Buss (UC San Diego) -- Algorithmic Randomness via Probabilistic Algorithms

2:45 - 3:30 Johan van Benthem (University of Amsterdam & Stanford) -- Evidence Dynamics in                                                                                                                   Neighborhood Logics

Coffee Break

3:45 - 4:15 Robert Milnikel (Kenyon) -- The Logic of Uncertain Justifications

4:15 - 5:00 Anil Nerode (Cornell) -- Sergei Artemov from 4 to 60

6:00 Conference Dinner

May 25, Friday

8:30 -          snack breakfast/coffee

9:00 - 9:45  Adam Brandenburger (NYU) -- From Positive to Zero to Negative Probability

9:45 -10:30 Arnon Avron (Tel-Aviv University) -- Domain Independence, Predicativity, and Constructivity

Coffee Break

10:45 - 11:30 Vaughan Pratt (Stanford) -- Geodesic spaces: Euclid's five postulates as an equational                                                                   theory, starting with the second

11:30 - 12:30 Round Table chaired by Rohit Parikh (CUNY) -- Knowledge and Rationality

Lunch

2:00 - 2:45 Jeff Remmel (UC San Diego) -- Hybrid Answer Set Programming

2:45 - 3:30 Melvin Fitting (CUNY) -- Realization Made Simpler

3:30 - 4:00 Pavel Naumov (McDaniel) -- On interchangeability of Nash equilibria in multi-player zero-sum                                                                 games

“Four Philosophers”  image courtesy of Elena Nogina