|
|
Saturday, May 31 2008
9:15 - 9:30: Coffee |
9:30-9:40: Opening |
Morning session: Justification, evidence and proof |
|
9:40 - 10:20 |
|
Bryan Renne
Reasoning About Evidence in Hypothetical Situations
[Abstract, Relevant Paper] |
|
10:25 - 11:05 |
|
Sherrilyn Roush
As The World Turns: The Value of Knowledge and Justification
[Abstract] |
|
11:10 - 11:50 |
|
Branden Fitelson
Epistemological Critiques of "Classical" Logic: Two Case Studies
[Abstract] |
|
11:55 - 12:25 |
|
Discussion led by Johan van Benthem |
|
Lunch |
Afternoon session: Probability and logic |
|
14:00 - 14:40 |
|
Alistair Isaac
Diachronic Dutch Book Arguments for Bounded
Rationality, case study: Sleeping Beauty
[Paper] |
|
14:45 - 15:25 |
|
Kenny Easwaran
Probabilistic Proofs in Mathematics |
|
15:30 - 16:10 |
|
Brian Skyrms
Signals:Adaptive Dynamics and the Flow of
information
[Relevant Paper 1, Relevant Paper 2]
|
|
16:15 - 16:45 |
|
Discussion led by Persi Diaconis |
|
Dinner Reception at CSLI (starting at 17:30) |
Sunday, June 1 2008
9:15 - 9:30: Coffee |
Morning session 1: Information dynamics and action |
|
9:30 - 10:10 |
|
Tomohiro Hoshi
Merging frameworks for interaction
[Abstract] |
|
10:15 - 10:55 |
|
Eric Pacuit
Reasoning about and with Protocols
[Abstract] |
|
Morning session 2: Information dynamics and action |
|
11:30 - 12:10 |
|
Alexandru Baltag
Belief Change, Information Merge and the Nature of `Knowledge':
A Social-Dynamic-Logical View on Epistemology
[Abstract] |
|
12:15 - 12:55 |
|
John Perry
Epistemic Possibility and Reflexive Content
[Abstract] |
|
13:00 - 13:30 |
|
Discussion led by David Israel |
|
13:30 - 13:40: Closing |
Lunch Reception (starting at 13:45) |
|