Theory and Application of Formal Argumentation, 3–4 August (The Reasoner, 2013)