Formal Methods in Argument Reconstruction, 20–21 September (The Reasoner, 2012)