| 9:00-9:30 | Welcome and overview |
| 9:30-10:00 | "Higher-order bipolar interactions in abstract argumentation: a state of the art" (Cayrol, Lagasquie-Schiex, Cohen; presented by Doutre) |
| 10:00-10:30 | "Collective Attacks and Accrual" (Bikakis, Cohen, Dvorak, Flouris, Parsons) |
| 10:30-11:00 | Coffee break |
| 11:00-11:15 | "Preference in Abstract Argumentation" (Kaci, van der Torre, Villata) |
| 11:15-11:45 | "Argumentation Meets Computational Social Choice" (Baumeister, Neugebauer, Rothe) |
| 11:45-12:00 | "Value-based argumentation" (Atkinson, Bench-Capon) |
| 12:00-12:30 | "Weighted Argumentation (Bistarelli, Santini) |
| 12:30-14:00 | Lunch break |
| 14:00-14:30 | "Computational models of argument for the Social Web" (Amgoud, Bikakis, Flouris, Leite, Patkos) |
| 14:30-14:45 | "Ranking Semantics" (Amgoud) |
| 14:45-15:15 | "Probabilistic argumentation: A Survey" (Hunter, Polberg, Potyka, Rienstra, Thimm) |
| 15:15-15:45 | "An analysis of the synergies between belief revision and argumentation" (Falappa, Haret, Kern-Isberner, Woltran) |
| 15:45-16:15 | Coffee break |
| 16:15-16:45 | "Enforcement in Formal Argumentation" (Baumann, Doutre, Mailly, Wallner) |
| 16:45-17:30 | Discussion |
| 9:30-9:45 | "General meta-logic principles at the service of formal argumentation" (Gabbay) |
| 9:45-10:00 | "Proof-Theoretic Approaches to Logical Argumentation" (Arieli, Strasser, Borg) |
| 10:00-10:15 | "Semantic instantiation" (Weydert) |
| 10:15-10:45 | "Empirical cognitive studies about formal argumentation" (Cerutti, Cramer, Guillaume, Hadoux, Hunter, Polberg) |
| 10:45-11:00 | "Resource Bounded Models of Rationality in Structured Argumentation" (Modgil, D'Agostino) |
| 11:00-12:30 | Final discussion |
| 12:30 | Lunch and departure |
