[loginf] [2nd CfP] Systems and Algorithms for Formal Argumentation

Federico Cerutti CeruttiF at cardiff.ac.uk
Tue Apr 19 10:48:19 CEST 2016

The First International Workshop on Systems and Algorithms for Formal
Argumentation (SAFA'16) 


Co-located with the Sixth International Conference on Computational
Models of Argument (COMMA'16)
Potsdam, Germany

September 13, 2016 

Computational models of argumentation are approaches that deal with the
representation and interaction of arguments and counterarguments. These
models can be applied in all areas that benefit from automatic
decision-support such as medicine, accounting, chemistry, and law. Many
of these models were inspired by works within the fields of
non-monotonic reasoning and logic programming and therefore share the
sometimes considerable computational complexity of these approaches.

Algorithmic aspects of computational models of argumentation have
recently gained attention within the community, in particular due to the
International Competition on Computational Models of Argumentation
(ICCMA), which ran for the first time in 2015. This workshop aims at
complementing the competition by providing a forum to present and
discuss both systems and algorithms dealing with all aspects of
computational argumentation, in particular those approaches addressing
the tracks of the competition. 

This workshop welcomes technical contributions in all areas dealing with
algorithms and systems of formal argument. Topics of interest include,
but are not limited to:

* Algorithms for solving problems in abstract argumentation frameworks,
such as computing extensions and deciding the acceptance status of an
* Algorithms for solving problems in structured argumentation frameworks
(such as ASPIC+, ABA, DeLP, and others), such as argument generation,
conflict detection, and dialectical analysis
* Computational complexity of problems in formal argumentation
* Advanced techniques that may be exploited for algorithmic purposes
* Parallel algorithms
* Approximation algorithms
* Web-based systems and argument mining
* Dialogue systems and strategic aspects of argumentation
* Design principles and software engineering aspects of tools for formal
* Metrics for evaluating algorithms
* Benchmark generation and empirical studies on real-world argumentation
* System descriptions of tools for formal argumentation

The workshop specifically welcomes preliminary works on the above
topics. In particular, no systematic evaluations are needed for
inclusion in the program. Finally, we welcome position papers that
propose new tracks for the competition or discuss general matters
related to it.

Important Dates
Paper submission:  1 July 2016
Notification: 	  10 August 2016
Final version:	  30 August 2016
Workshop:         13 September 2016

Interested authors should format their papers according to the IOS Press
formatting guidelines that are also used for the COMMA conference (see
http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/). Submissions should not exceed 12 pages for full technical contributions and 6 pages for position/short papers. Papers must be submitted as PDF through the EasyChair conference system (https://easychair.org/conferences/?conf=safa2016), which can also be accessed through the workshop web site (http://safa2016.west.uni-koblenz.de). 

The workshop proceedings containing all accepted papers will be made
available online through arXiv. We anticipate that a special issue in an
international journal will be devoted to extended versions of invited
papers of the workshop after the event.

* Matthias Thimm (University of Koblenz-Landau, Germany)
* Federico Cerutti (Cardiff University, UK)
* Hannes Strass (Leipzig University, Germany)
* Mauro Vallati (University of Huddersfield, UK)

Program Committee
* Katie Atkinson
* Elizabeth Black
* Stefano Bistarelli
* Andrea Cohen
* Sylvie Doutre
* Wolfgang Dvořák
* Stefan Ellmauthaler
* Sarah Gaggl
* Massimiliano Giacomin
* Tom Gordon
* Sebastian Gottifredi
* Beishui Liao
* Jean-Guy Mailly
* Samer Nofal
* Nir Oren
* Mark Snaith
* Serena Villata
* Johannes P. Wallner
* Stefan Woltran

More information about the loginf mailing list