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