Doctoral Program in Computer Science
365 5th Avenue
New York City 10016
Room 4319
Phone: 212.817.8190
Fax: 212.817.1510
compsci@gc.cuny.edu
  Click here to go to the Graduate Center main page.

Computer Science Colloquium
 


Workshop  
"New developments in Logics of Knowledge and Belief"
 
Venue: CUNY Graduate Center, 365 Fifth Avenue, New York,
room 9206/9207
Time: Saturday June 12, 10 a.m. - 6 p.m.
Registration fee: none
Contact: Sergei Artemov sartemov@gc.cuny.edu

Program:
10:00 Coffee and cookies
10:10 - 10:55 Johan van Benthem
(Amsterdam & Stanford)
"From Update Logics to Social Behavior"
11:05 - 11:50 Rohit Parikh
(New York)
"Dynamic Models for Knowledge"
11:55 - 12:40 Sergei Artemov
(New York)
"Explicit Knowledge and Reflexive Combinators"
   
12:40 - 2:00 Lunch (not organized)
   
1:45 Coffee and cookies
   
2:00 - 2:45 Mel Fitting
(New York)
"A Logic of Explicit Knowledge"
2:55 - 3:40 Barteld Kooi
(Groningen)
"Reduction Axioms for Epistemic Actions"
3:45 - 4:10 Eric Pacuit
(New York)
"The logic of communication graphs"
4:10 - 4:35 Evan Goris
(Amsterdam)
"Modal Methods for Interpretability Logics"
4:35 - 5:00 Roman Kuznets
(New York)
"Making Proofs Explicit: How Hard It Is"
   
5:00 - 6:00 Wine and cheese reception

 
Sponsored by CUNY Computer Science Colloquium and
New York Logic Colloquium