March 13, Tuesday
March 14, Wednesday

 

09.00-09:45

 

Registration

 

Opening Talk

10.00-11.00
 
Ken Binmore

Making Decisions in Large Worlds

 

 
Wiebe van der Hoek

On the Logic of Cooperation and Coalitions
(Joint work with Thomas Agotnes and Michael Wooldridge)

11.00-11.30
Break
11.30-12.30
Eric Pacuit

Infinite majorities

Nikolay Shirov and Natalya Garanina

Model checking problem for knowledge and branching time

Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukias

On the link between arguments and criteria

Jouko Väänänen

Modal dependence logic

 

12.30-14.00

 

Lunch

 

14.00-15.00
Jonathan Ben-Naim and Emil Weydert

Information merging with trust

Ulle Endriss and Eric Pacuit

Modal logics of negotiation and preference

Salem Benferhat, Sylvain Lagrue, Julien Rossit
Maximum-based merging of incommensurable ranked belief bases
Jack Stecher

Subjective information in decision making and communication

15.00-15:20
Break
15.20-16.20
 
Gabriella Pigozzi
Belief revision, belief merging and social choice

 

 
Franz Dietrich
Judgment aggregation: giving up propositionwise aggregation
16.20-16.40
Break
16.40-17.40
Daniel Eckert

The impossibility of proximity preservation in belief merging

Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang
Efficient coalitions in boolean games

Carl Andreas Claussen and Oistein Roisland

The (im)possibility of aggregating judgments on dependent variables

Joel Uckelman and Ulle Endriss

Modeling player preferences with weighted formulas

19.30-
Conference Dinner