Logic List Mailing Archive

Parikh Fest: "Logical methods in exact and social sciences", December 1-2, 2006, New York NY

Conference Announcement, December 1-2, 2006

"Logical methods in exact and social sciences: a conference to commemorate
70th birthday of Rohit Parikh"

to be held at the CUNY Graduate Center 365 Fifth Avenue, New York

Sponsored by the MidAtlantic Mathematical Logic Seminar, New York Logic
Colloquium, and CUNY Computer Science Colloquium.

http://nylogic.org/Colloquium/ParikhFest

Schedule:

December 1, Friday,

Session 1, Recital Hall

9:00 - 9:10 Conference opening

9:10 - 10:00 Dexter Kozen (Cornell) "Parikh's Theorem in Commutative
Kleene Algebra"

10:00 - 10:10 Coffee break

10:10 - 11:00 Steven Brams (NYU) "New Results on Fair Division"

11:00 - 11:10 Coffee Break

11:10 - noon Sam Buss (UC San Diego) "Randomized computability and bounded
arithmetic"

Noon - 2:00 Lunch

Session 2. Science Center 4102

2:00 - 2:50 Saul Kripke (CUNY) Title: TBA

2:50 - 3:00 Coffee Break

3:00-3:50 Melvin Fitting (CUNY) "Reasoning with Justifications"

3:50 - 4:00 Coffee Break

4:00-4:50 Horacio Arlo Costa (Carnegie Mellon University) "First order
classical modal logic"

6:00 - 10-00 Conference dinner

December 2, Saturday

Session 3. Science Center 4102

10:00 - 10:50 John Horty (University of Maryland) Title: TBA

10:50 - 11:00 Coffee Break

11:00 - 11:50 Amy Greenwald (Brown University) Title: TBA

Noon - 2:00 Lunch

Session 4. Science Center 4102

2:00 - 2:50 Ali Khan (The Johns Hopkins University) "Perfect Competition:
Mathematical and Epistemological Foundations."

2:50 - 3:00 Coffee Break

3:00-3:50 Juliet Floyd (Boston University)