The purpose of this international workshop is to bring together researchers who apply formal methods, widely understood, to natural language argumentation in order to provide a reconstruction which can provide the basis for an evaluation.

A related objective is to make the state of the art accessible to audiences who predominantly reconstruct natural language argumentation with more traditional formal or informal tools.

The workshop will be held 20-21 September 2012, following the GAP.8 conference at the University of Konstanz, Germany.

Speakers (w/ preliminary titles)

Catarina Dutilh Novaes (Amsterdam, The Netherlands)
“The formal, the formalized, and the history of logic”

Georg Dorn (Salzburg, Austria)
“Logical formalization of argument hierarchies”

Hans Rott (Regensburg, Germany)
“Argumentation, common ground and presupposition accommodation”

Henry Prakken (Utrecht, The Netherlands)
“Argumentation frameworks in AI”

Tom Gordon (Berlin, Germany)
“Evaluating complex legal argumentation”

Ulrike Hahn (Cardiff, UK)
“Bayesian analysis of natural language arguments”

Commentators

Christoph Lumer (Sienna, Italy) on Hans Rott
Frank Zenker (Lund, Sweden) on Ulrike Hahn
Michael Baumgartner (Konstanz, Germany) on Tom Gordon
Friedrich Reinmuth (Greifswald, Germany) on Georg Dorn
Gregor Betz (Karlsruhe, Germany) on Henry Prakken
Georg Brun (Zurich, Switzerland) on Catarina Dutilh Novaes

The workshop is free and open to researchers working on this or related themes. Please register here.