Program Chair:
Johan van
Benthem (University of Amsterdam, Computer Science, and Stanford, Philosophy),
email: johan@wins.uva.nl
Program Committee:
Samson Abramsky
(Computer Science, University of Edinburgh), Giacomo Bonanno (Economics,
University of California at Davis), Nicola Dimitri (Political Economics,
University of Siena), Joseph Halpern (Computer Science, Cornell
University), Wiebe van der Hoek (Computer Science, Utrecht University),
Angelika Kratzer (Linguistics, University of Massachusetts, Amherst),
Bart Lipman (Economics, University of Wisconsin, Madison), Hans
Rott (Philosophy, University of Regensburg), Ariel Rubinstein
(Economics, Tel Aviv and Princeton University), Gabriel Sandu (Philosophy,
University of Helsinki), Yoav Shoham (Computer Science, Stanford
University), Tuomas Sandholm (Computer Science, Washington University,
Saint Louis)
Local Organizers:
Nicola Dimitri
and Alessandro Vercelli, assisted by Giovanni Forconi
Program
Sunday July 8
14:00 - 14:05
Welcome address
Probability and uncertainty
14:05 - 15:00 Invited lecture, Dick Jeffrey (Princeton University): Epistemology Probabilized.
15:00 - 15:25 Joe Halpern (Cornell University): Lexicographic probability, conditional probability, and nonstandard probability
15:25 - 15:50 Adam Brandenburger (Harvard University) and Jerome Keisler (University of Wisconsin-Madison): Epistemic conditions for iterated admissibility
15:50 - 16:15 Ricky Lam (Northwestern University): Stories and probabilities
Coffee break
Logic, linguistics and information
16:45 - 17:40 Tutorial; Dynamic Update Logics, Johan van Benthem (University of Amsterdam and Stanford University)
17:40 - 18:05 Maria Aloni (University of Amsterdam): Optimization games: an application
18:05 - 18:30
Robert van Rooy (University of Amsterdam): Relevance
of communicative acts
Dinner
break
Links with general philosophy
20:30
- 21:30 Invited presentation, Timothy
Williamson (Oxford University): Some Philosophical Aspects of Reasoning
about Knowledge
Monday July 9
9:55
- 10:20 Alexandru Baltag (CWI Amsterdam
and Oxford University): Logics
for insecure communication
Coffee break
10:50 - 11:15 Rupa Athreya (Yale University): Modelling beliefs in games with generalized preferences
11:15 - 11:40 Richard Booth (University of Leipzig): A negotiation-style framework for non-prioritised revision
11:40
- 12:05 Thomas Meyer,
Aditya Ghose (University of Wollongong) and Samir Chopra (University of
New South Wales):
Non-prioritised ranked belief change
Lunch
break
Interfaces economics and CS
14:15 - 15:10 Tutorial; Cryptography and Mechanism Design, Moni Naor (Weizmann Institute).
15:10 - 15:35 Kate Larson and TuomasSandholm (Carnegie Mellon University): Costly valuation computation in auctions: deliberation equilibrium
15:35 - 16:00 Stefano Vannucci (University of Siena): On perfect secret sharing schemes and coalitional game forms
Coffee
break
Exploring CS perspectives
16:30 - 16:55 Fredric Koriche and Jean Sallantin (L.I.R.M.M.): A logical toolbox for knowledge approximation
16:55 - 17:20 Alessio Lomuscio and Marek Sergot (Imperial College): Investigations on knowledge under correct behaviour
17:20
- 17:45 Marina
de Vos and Dirk Vermeir (Free University Brussels): Decision,
agents and game
Dinner
break
20:30
- 21:30 After dinner lecture, Giacomo
Rizzolatti (University of Parma): Recognition of actions made by others
Tuesday July 10
Computer science, games, and logic
9:00 - 9:55 Invited lecture, Daphne Koller (Stanford University): Structured Models for Multi-agents Interactions
9:55
- 10:20 Jon Kleinberg (Cornell University),
ChristosPapadimitriou (U.C. Berkeley)
and Prabhakar Raghavan (Verity): On
the value of private information
Coffee
break
10:50 - 11:15 Valentin Goranko (Rand Afrikaans University): Coalition games and alternating temporal logics
11:15 - 11:40 Giacomo Bonanno (University of California, Davis): Revising predictions
11:40
- 12:05 Paul Harrenstein, Wiebe van
der Hoek, John-Jules Meyer (Utrecht University) and Cees Witteveen (Delft
University of Technology): Boolean
games
Lunch
break
14:10 - 15:10
Rump session
Game theory
15:10 - 15:35 Dov Samet and Philippe Jehiel (Tel Aviv University): Learning to play games in extensive form by valuation
15:35 - 16:00 Rani Spiegler (Institute for Advanced Study, Princeton): Procedurally rational experimentation in games
Coffee
break
16:30 - 16:55 Bruce Chapman (University of Toronto): Social choice, public reason, and co-operation
16:55 - 17:50 Invited lecture,Michael Bacharach (Oxford University); Superagency: beyond an individualistic theory of games.
Social
dinner in town
Information - Location of the conference - How to reach Siena - How to reach the Certosa - Accommodation in Siena
