LOFT 2008


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)
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)
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