[FOM] Conference Announcement: in commemoration of Rohit Parikh's 70th birthday

[Joel David Hamkins]

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)