FotFS VI

FOUNDATIONS OF THE FORMAL SCIENCES VI

Reasoning about Probabilities and Probabilistic Reasoning

Universiteit van Amsterdam

Institute for Logic, Language and Computation

May 2-5, 2007

Schedule

 
Wednesday, May 2
Thursday, May 3
Friday, May 4
Saturday, May 5
9:50 - 10:15
Bovens
Grünwald
10:15 - 10:40
10:40 - 11:05
Break
Break
Break
11:05 - 11:30
11:30 - 11:55
11:55 - 12:20
Break
12:20 - 12:45
Lunch
Lunch
Halpern
12:45 - 13:10
13:10 - 13:35
Closing
13:35 - 14:00
Opening
14:00 - 14:25
Seidenfeld
Kooi
Corfield
14:25 - 14:50
14:50 - 15:15
Break
Break
Break
15:15 - 15:40
15:40 - 16:05
16:05 - 16:30
16:30 - 16:55
Break
Break
Break
16:55 - 17:20
17:20 - 17:45
progicnet Session
17:45 - 18:05
Break
Break
18:05 - 18:30
Galavotti
Walking Tour
Godfroy-Genin
18:30 - 18:55