COnfirmed SPEAKERS
Subway, by proximity:
6 to 33rd St (at Park Ave)
B/D/F/M/N/Q/R to 34th St Herald Sq (at 6th Ave)
1/2/3 to 34th St Penn Station (at 7th Ave)
A/C/E to 34th St Penn Station (at 8th Ave)
Food & Drink:
The GC has a cafe on the ground floor and the dinning commons on the 8th floor. There are many types of food on offer in the neighborhood.
Rooms for talks:
Thurs 12/1: 9204 Fri 12/2: 4102
Eric Pacuit
University of Maryland, College Park
Laxmi Parida
IBM Research & NYU
Stephen Neale
Graduate Center, CUNY
Konstantinos Georgatos
John Jay College of Criminal Justice, CUNY
Sergei Artemov
Graduate Center, CUNY
Alessandra Carbone
Paris 6
Samir Chopra
Brooklyn College, CUNY
Jan van Eijck
CWI & ILLC Amsterdam
Melvin Fitting
Lehman College & Graduate Center, CUNY
Computer Science Colloquium room 9204
Registration & Opening
Jan van Eijck Belief in Social Software
​
Wine & Cheese Reception room 4214
​
Conference Dinner Vatan Indian Vegetarian
409 Third Ave between 28th St & 29th St
​
​
​
Alessandra Carbone Protein social behavior and the partner identification problem
​
Larry Moss Plural Varieties of Pluralism
​
Konstantinos Georgatos Subset logic as a dynamic epistemic logic
​
Coffee Break
​
Sergei Artemov Syntactic Epistemic Logic and Games
​
Laxmi Parida The here and now of Precision Oncology, and more
​
Stephen Neal Conditionals, Consequence and Factivity
Lunch Break
​
Mel Fitting On Height and Happiness
​
Eric Pacuit Knowledge-theoretic aspects of strategic voting
​
Coffee Break
​
Samir Chopra Working with, and learning from, Rohit Parikh
​
Rohit Parikh How Logic and Game Theory can help us understand Society
4:00-4:15 PM
SCHedule
Thursday, December 1
select slides available linked in titles
an impressionistic look by Mel Fitting
4:15-5:30 PM
5:45-6:30 PM
7:30-9:30 PM
9:00-9:40 AM
9:40-10:20 AM
10:20-11:00 AM
11:00-11:15 AM
11:15-11:55 PM
Friday, December 2
12:35-1:05 PM
11:55-12:35 PM
1:05-2:45 PM
2:45-3:25 PM
3:25-4:05 PM
4:05-4:20 PM
5:00-6:00 PM
4:20-5:00 PM
new 12/4/16: Slides for selected talks available. Click the titles.
​
ROHIT PAIKH is a Distinguished Professor of Computer Science, Mathematics and Philosophy, Graduate Center, and Dept. of Computer Science, Brooklyn College. All his degrees, one in Physics, and two in Mathematics, are from Harvard. Apart from CUNY, he has taught at Boston University, Stanford, NYU, Bristol University (in UK), SUNY Buffalo, and Panjab University (in India). He has also spent time at other places like IBM, Bell Labs, Berkeley, Caltech, ETH (Zurich) and TIFR (Mumbai).
​
Current areas of Interest: Social Software, Reasoning about knowledge, Belief revision, Game Theory and Philosophy of Language, Social Software, a new field of study, was founded by Parikh in the mid-nineties and seeks to combine methods from Logic, Computer Science, and Game theory to study social procedures. Four conferences, three in Europe, and one at CUNY, have been devoted partly or wholly to this area. Parikh’s earlier work was in more traditional areas of Logic like Recursive Function Theory, Proof Theory, Formal Languages, Non-standard Analysis, and Dynamic Logic.
Rohit Parikh
​
