|
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)
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)
|
| 14:30-14:50
| Dov Samet
Agreeing to Disagree: the Non-Probabilistic
Case |
| 14:50-15:10 |
Joseph Halpern, Dov Samet, and Ella Segev
Defining Knowledge in Terms of Belief |
| 15:10-15:30 |
Dov Samet
S5 Knowledge without Partitions |
| 15:30-15:50
| Coffee Break
|
| 15:50-16:50
| Session Plenary
2 (Room P.227)
|
| 15:50-16:10
| Giacomo Bonanno
Rational Choice and Belief Revision |
| 16:10-16:30
| Jérôme Lang and Leon van der Torre
From Belief Change to Preference Change
|
| 16:10-16:50
| Jan van Eijck and Floor Sietsma
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 | P.016 | 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
| Christian Klamler and Daniel Ecker
A Geometric Approach to Judgment Aggregation
| Luc Bovens and 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)
|
| 18:30-18:50
| Hans van Ditmarsch and Tim French
Simulation and Information: Quantifying over Epistemic States |
| 18:50-19:10 |
Nils Bulling and 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)
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.017 | P.018
|
| 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)
|
| 14:30-14:50
| Johan van Benthem and Cédric Dégremont
Building Bridges between Dynamic and Temporal Doxastic Logics |
| 14:50-15:10 |
Eric Pacuit and Jonathan Zvesper
Assumption-incompleteness in Modal Logic |
| 15:10-15:30 |
Nicolas Troquard, 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)
|
| 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
| Krzysztof Apt, Andreas Witzel, and Jonathan Zvesper
Strategic Games with Interaction Structures |
| 17:30-17:50 |
Aviad Heifetz, Martin Meier, and Burkhard Schipper
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)
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)
Hervé Moulin (Rice University, USA)
Cost Sharing in the Capacity Synthesis Problem
|
| 10:50-11:10
| Coffee Break
|
| 11:10-12:30
|
Session Duo
2 (Rooms P.016 and P.017)
|
| | P.016 | P.017
|
| 11:10-11:30
| Thomas Ågotnes, Valentin Goranko, 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
| Gabriella Pigozzi, Marija Slavkovik, 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 Disagreements |
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 | P.016 | P.017
|
|
| 15:10-15:30 |
Alexandru Baltag, Sonja Smets, and Jonathan Zvesper
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)
Wolfgang Spohn (Universität Konstanz, Germany)
Dependency Equilibria: A New(!) and Reasonable(?) Equilibrium Concept
|
