Program

Monday, Nov 4:
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:30Discussion

Tuesday, Nov 5:
9:30-10:00 "Dialogues" (Black, Maudet, Parsons)
10:00-10:30 "Strategic Argumentation" (Governatori, Maher, Olivieri)
10:30-11:00 Coffee break
11:00-11:30 "On the Incremental Computation of Warranted Arguments in Dynamic Defeasible Knowledge Bases" (Alfano, Greco, Parisi, Simari, Simari)
11:30-12:00 Discussion
12-30-14:00 Lunch break
14:30 Excursion

Wednesday Nov 6:
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