Conference Abstracts PDF(former order)

Poster PDF 

List of Confirmed Speakers current as of 5/20/12                 

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 and University of British Columbia)

Gerald Sacks (Harvard University and Massachusetts Institute of Technology)

Andre Scedrov (University of Pennsylvania)

Philip Scott (University of Ottawa)

Conference Schedule current as of 5/23/12                                             

May 23, Wednesday

8:30 –             snack breakfast / coffee

9:00 – 9:15     Official Opening

9:15 – 10:00   Gerald Sacks . . . . . . . . Condensing Theories      (Watch)

10:00 – 10:45 Victor Marek . . . . . . . . .Solvers – applications of logic at the beginning of the 21st Century     (Watch)

Coffee Break

11:00 – 11:45 Solomon Feferman . . . .Which Quantifiers are logical? A combined semantical and
inferential criterion     (Watch)

11:45 – 12:30 Haim Gaifman . . . . . . . Unknowable Mathematical Truths, Natural Questions, and the Π₁  lattice    (Watch)

Lunch

2:00 – 2:45     Sergei Artemov . . . . . . A classical view of constructive semantics

2:45 – 3:30     Dexter Kozen . . . . . . . .New

Coffee Break

3:45 – 4:15     Bryan Renne . . . . . . . .The Dynamic Logic of Justified Knowledge and Belief

4:15 – 5:00     Harvey Friedman. . . . . 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 . . . . . Intersection Types in Constructive Type Theory  (Watch)

9:45 -10:30    Andre Scedrov . . . . . . . Collaborative Systems   (Watch)

Coffee Break

10:45 – 11:30 Joan Moschovakis . . . . ‘At Most One’ constructively   (Watch)

11:30 – 12:15 Yiannis Moschovakis . . Intrinsic complexity in arithmetic and algebra   (Watch)

Lunch

2:00 – 2:45     Sam Buss . . . . . . . . . . .Algorithmic Randomness via Probabilistic Algorithms  (Watch)

2:45 – 3:30     Philip Scott. . . . . . . . . . Feedback and partial traces in proof networks (Watch)

Coffee Break

3:45 – 4:15     Robert Milnikel . . . . . . . The Logic of Uncertain Justifications (Watch)

4:15 – 5:00     Anil Nerode . . . . . . . . . .Sergei Artemov from 4 to 60 (Watch)

6:00 Conference Dinner

May 25, Friday

8:30 –              snack breakfast/coffee

9:00 – 9:45      Adam Brandenburger . From Positive to Zero to Negative Probability   (Watch)

9:45 -10:30     Arnon Avron . . . . . . . . .Domain Independence, Predicativity, and Constructivity  (Watch)

Coffee Break

10:45 – 11:30  Jeff Remmel . . . . . . . . .Hybrid Answer Set Programming  (Watch )

11:30 – 12:30  Round Table chaired by Rohit Parikh Knowledge and Rationality  (Watch)

Lunch

2:00 – 2:45      Vaughan Pratt . . . . . . . Geodesic spaces: Euclid’s five postulates as an equational theory, starting with the second (Watch )

2:45 – 3:30      Melvin Fitting . . . . . . . . Realization Made Simpler (Watch)

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