Formal Methods in Argument Reconstruction, 20–21 September