| Thursday, July 3 |
| 10:00-11:10 |
Registration |
| 11:10-11:30 |
Opening
(Room P.227) |
| 11:30-12:30 |
Invited talk
(Room P.227) (Chair: Giacomo Bonanno)
Thomas Henzinger (École Polytechnique Fédérale
de Lausanne, Switzerland)
Games in System Design and Verification |
| 12:30-14:30 |
Lunch Break |
| 14:30-15:30 |
Session Plenary 1
(Room P.227) (Chair: Benedikt Löwe) |
|
14:30-14:50 |
Dov Samet
Agreeing to Disagree: the Non-Probabilistic Case |
|
14:50-15:10 |
Dov Samet
S5 Knowledge without Partitions |
|
15:10-15:30 |
Dov Samet (with Joe Halpern and Ella Segev)
Defining Knowledge in Terms of Beliefs |
| 15:30-15:50 |
Coffee Break |
| 15:50-16:50 |
Session Plenary 2
(Room P.227) ((Chair: Wiebe van der Hoek) |
|
15:50-16:10 |
Giacomo Bonanno
Rational Choice and Belief Revision |
|
16:10-16:30 |
Jérôme Lang (with Leon van der
Torre)
From Belief Change to Preference Change |
|
16:10-16:50 |
Floor Sietsma (with Jan van Eijck)
Multi-Agent Belief Revision with Linked Plausibilities |
| 16:50-17:10 |
Coffee Break |
| 17:10-18:10 |
Session Triple 1
(Rooms P.015A, P.016, P.017) |
|
|
P.015A (Chair: Christian List) |
P.016 (Chair: Jerome Lang) |
P.017 |
|
17:10-17:30 |
Davide Grossi
Proving Theorems of Judgment Aggregation as Corollaries of Theorems
of Preference Aggregation |
Bernard Tchantcho and Lawrence Diffo Lambo
A Note on the Stability of Voting Games |
|
|
17:30-17:50 |
Daniel Ecker (with Christian Klamler)
A Geometric Approach to Judgment Aggregation |
Luc Bovens (with Claus Beisbart)
Measuring Influence for Independent Voters: A Generalisation of
the Banzhaf Measure |
Till Grüne Yanoff
Evolutionary Game Theory: Natural Selection Implies Interpersonal
Comparisons |
|
17:50-18:10 |
Felix Brandt and Paul Harrenstein
Dominance in Social Choice and Coalitional Game Theory |
Satoru Suzuki
Preference Logic and its Measurement-Theoretic Semantics |
Giacomo Sillari
Quantified Logic of Awareness and Impossible Possible Worlds |
| 18:10-18:30 |
Coffee Break |
| 18:30-19:30 |
Session Plenary 3
(Room P.227) (Chair: Johan van Benthem) |
|
18:30-18:50 |
Hans van Ditmarsch (with Tim French)
Simulation and Information: Quantifying over Epistemic States |
|
18:50-19:10 |
Nils Bulling (with Wojciech Jamroga)
What Agents can Probably Enforce |
|
19:10-19:30 |
Dietmar Berwanger
Infinite Coordination Games |
|
| Friday, July 4 |
| 9:50-10:50 |
Invited talk (Room
P.227) (Chair: Krzystof Apt)
Christian List (London School of Economics, UK)
Majority voting on restricted domains |
| 10:50-11:10 |
Coffee Break |
| 11:10-12:30 |
Session Duo 1
(Rooms P.017 and P.018) |
|
|
P.019 (Chair: Robert van Roy) |
P.018 (Chair: Jan van Eijck) |
|
11:10-11:30 |
Wojciech Jamroga, Thomas Ågotnes, and Wiebe van
der Hoek
A Simpler Semantics for Abilities under Uncertainty |
Itai Sher
Persuasion and Limited Communication |
|
11:30-11:50 |
Claus Beisbart
Joint Action Can Make a Difference: Measures of Voting Power Generalised |
Franz Dietrich
Anti-terrorism Policies: the trade-off Between Provocation and Deterrence |
|
11:50-12:10 |
Michael Franke
Meaning and Inference in Case of Conflict |
Konstantinos Georgatos
Geodesic Conditioning |
|
12:10-12:30 |
Kris de Jaegher, Stephanie Rosenkranz, and Utz Weitzel
Economic Laboratory Experiment on Horn's Rule |
Christian Fermüller
Truth Value Intervals, Bets, and Dialogue Games |
| 12:30-14:30 |
Lunch Break |
| 14:30-15:30 |
Session Plenary 4
(Room P.227) (Chair: VAlentin Goranko) |
|
14:30-14:50 |
Cédric Dégremont (with Johan
van Benthem)
Building Bridges between Dynamic and Temporal Doxastic Logics |
|
14:50-15:10 |
Jonathan Zvesper (with Eric Pacuit)
Assumption-incompleteness in Modal Logic |
|
15:10-15:30 |
Nicolas Troquard (with Wiebe van der Hoek
and Michael Wooldridge)
Reasoning about Strategic Games with Hybrid Logic of Choice and
Preferences |
| 15:30-15:50 |
Coffee Break |
| 15:50-16:50 |
Session Plenary 5
(Room P.227) (Chair: Wolfgang Spohn) |
|
15:50-16:10 |
Lena Kurzen
A Logic for Cooperation, Actions and Preference |
|
16:10-16:30 |
Sujata Ghosh
Strategies Made Explicit in Dynamic Game Logic |
|
16:30-16:50 |
Robert van Rooij
Revealed Preferences and Satisficing Behavior |
| 16:50-17:10 |
Coffee Break |
| 17:10-18:10 |
Session Plenary 6
(Room P.227) |
|
17:10-17:30 |
Jonathan Zvesper (with Krzysztof Apt and
Andreas Witzel)
Strategic Games with Interaction Structures |
|
17:30-17:50 |
Burkhard Schipper (with Aviad Heifetz and
Martin Meier)
Dynamic Unawareness and Rationalizable Behavior |
|
17:50-18:10 |
Frederick Herzberg
Hyperreal Expected Utilities and Pascal's Wager |
| 18:10-18:30 |
Coffee Break |
| 18:30-19:30 |
Invited talk (Room
P.227) (Chair: Benedikt Löwe)
Nicole Schweikardt (Johann Wolfgang Goethe-Universität
Frankfurt, Germany)
Logic and Data Exchange: Which Solutions are "Good" Solutions? |
|
| Saturday, July 5 |
| 9:50-10:50 |
Invited talk (Room
P.227) (Chair: Giacomo Bonanno)
Hervé Moulin (Rice University, USA)
Efficient, strategy-proof and almost balanced-budget mechanisms |
| 10:50-11:10 |
Coffee Break |
| 11:10-12:30 |
Session Duo 2
(Rooms P.016 and P.017) |
|
|
P.016 (Chair Wiebe van der Hoek) |
P.017 (Chair: Hans vand Ditmarsch) |
|
11:10-11:30 |
Valentin Goranko (with Thomas Ågotnes and Wojciech
Jamroga)
Strategic Commitment and Release in Logics for Multi-Agent Systems |
Tomohiro Hoshi
Public Announcement Logics with Constrained Protocols |
|
11:30-11:50 |
Marija Slavkovik (with Gabriella Pigozzi and Leon van
der Torre)
Conclusion-Based Procedure for Judgment Aggregation Satisfying Premise
Independence |
Matthias Hanauske, Steffen Bernius, Wolfgang König,
Berndt Dugall
Experimental Validation of Quantum Game Theory |
|
11:50-12:10 |
Guiseppe Primiero
Aggregating Collective Judgments by Selecting Agreements |
Oliver Board and Kim-Sau Chung
Object Based Unawareness II: Applications |
|
12:10-12:30 |
|
Olivier Roy
Intentions and Transformations of Strategic Games |
| 12:30-14:30 |
Lunch Break |
| 14:30-15:10 |
Session Triple 2
(Rooms P.014, P.016, P.017) |
|
|
P.014 (Chair: Giacomo Bonanno) |
P.016 |
P.017 |
|
15:10-15:30 |
Jonathan Zvesper (with Alexandru Baltag and Sonja Smets)
When All is Done and not (yet) Said: Dynamic Rationality in Extensive
Games |
Riccardo Pucella and Mehrnoosh Sadrzadeh
Towards a Concrete Semantics for Announcements |
Conrad Heilmann
A Representation of Time Discounting as Diminishing Intrapersonal
Connectedness |
|
15:30-15:50 |
Sascia Pavan
Disambiguation Games in Extended and Strategic Form |
Davi Romero de Vasconcelos and Edward Hermann Haeusler
Towards an Implementation Theory via a Game Logic Approach |
Brian Hill
Dynamic Awareness |
| 15:10-15:30 |
Coffee Break |
| 15:30-16:30 |
Invited talk (Room
P.227) (Chair: Giacomo Bonanno)
Wolfgang Spohn (Universität Konstanz, Germany)
Dependency Equilibria: A New(!) and Reasonable(?) Equilibrium Concept |