|
|
Tentative Schedule
Saturday, May 30 2009
9:00 - 9:20: Coffee |
9:20-9:30: Opening |
Morning session: Agency and Logic |
|
9:30 - 10:10 |
|
Thomas Icard (with Eric Pacuit and Yoav Shoham)
A Dynamic Logic of Intention and Belief
[Abstract] |
|
10:10 - 10:50 |
|
Eric Pacuit
Reasoning with protocols
[Abstract] |
|
11:10 - 11:50 |
|
Bill MacCartney
An extended model of natural logic
[Abstract] |
|
11:50 - 12:30 |
|
Lucas Champollion
Davidsonian events and thematic roles -- are they necessary? A
reply to Kratzer and Schein
[Abstract] |
|
Lunch (12:30 - 2:00) |
Afternoon Session: Formal Epistemology |
|
14:00 - 14:40 |
|
Krista Lawlor
Scoreboard Semantics for Knowledge Claims
[Abstract] |
|
14:40 - 15:30 |
|
Sheri Rousch
TBA
[Abstract] |
|
15:50 - 16:50 |
|
Kevin Kelly
A Learning Semantics for Epistemic Modal Logic
[Abstract]
|
|
16:50 - 17:20 |
|
Discussion |
|
Drinks & Reception at CSLI (starting at 17:30) including live music by the Philosophy Deparment's own Tal Glezer (banjo), Thomas Icard (guitar), and Alistair Isaac (fiddle). |
Sunday, May 31, 2009
9:15 - 9:30: Coffee |
Morning session 1: Logic and Games |
|
9:30 - 10:20 |
|
Giacomo Bonanno
Revealed preference, iterated belief revision and dynamic games
[Abstract] |
|
10:20 - 11:00 |
|
Yossi Feinberg
Games with Unawarenes
[Abstract] |
|
Morning session 2: Information Dynamics |
|
11:10 - 11:50 |
|
Johan van Benthem
Logics of Information Change
|
|
11:50 - 12:30 |
|
Brian Skyrms
|
|
Lunch (12:30 - 2:00) |
Afternoon Session: Language and Cognition |
|
2:00 - 2:40 |
|
Adrian Brasoveanu
Exceptional Scope as Scopal Independence
[Abstract] |
|
2:50 - 3:50 |
|
Jeroen Groenendijk
Inquisitive Semantics
|
|
Closing |
|