[PlanetKR] CfP - 2nd International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018)

[Matthias Thimm]

[Apologies if you receive multiple copies. Please forward this call to interested parties.]
===========================================================================================
Call for Papers
===========================================================================================
SAFA2018
The Second International Workshop on Systems and Algorithms for Formal Argumentation

http://safa2018.argumentationcompetition.org

Co-located with the Seventh International Conference on Computational Models of Argument
(COMMA'18), Warsaw, Poland (http://comma2018.argdiap.pl).

September 11, 2018


Description
===========================================================================================
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 are an important area, as
witnessed by the popularity of the International Competition on Computational Models of
Argumentation (ICCMA). 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. A first workshop had been organised in 2016.

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
* Algorithms for solving problems in structured argumentation frameworks (such as ASPIC+,
  ABA, DeLP, and others)
* 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 argumentation
* Metrics for evaluating algorithms
* Benchmark generation and empirical studies on real-world argumentation graphs
* 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 deadline: 	Jun 29, 2018
Notification of acceptance:	Jul 27, 2018
Camera-ready version:	      Aug 10, 2018
Workshop:	                  Sep 11, 2018


Submission
===========================================================================================
We invite papers, which have to be in English and formatted according to the IOS style
(http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/), in the
following two categories:

* Full technical papers (12 pages max., including references) are expected to report on new
  research that makes a substantial technical contribution to the field. Additional details
  may be included in an appendix, which, however, will be read at the discretion of the PC.
* Position papers (6 pages max., including references) can report on research in progress
  or other issues of interest to the SAFA community. Examples of work suitable for position
  paper submissions include: novel ideas whose scope is not large enough for a full paper;
  important implementation techniques; novel interesting benchmark problems; short
  experimental studies; interesting applications that are not yet completely solved or
  analysed; position or challenge papers.

Submission are handled through the EasyChair conference management system
(https://easychair.org/conferences/?conf=safa2018).

All papers will be subject to blind peer review based on the standard criteria of
relevance, significance of results, originality of ideas, soundness, and quality of the
presentation.

All accepted papers will be published in the workshop proceedings via http://ceur-ws.org,
and will be presented at the workshop. At least one author of each accepted paper must
register for the workshop (through the COMMA 2018 website, http://comma2018.argdiap.pl)
and present the contribution.

Organizers
===========================================================================================
* Matthias Thimm (University of Koblenz-Landau, Germany)
* Federico Cerutti (Cardiff University, UK)
* Mauro Vallati (University of Huddersfield, UK)

Program Committee
===========================================================================================
* Mario Alviano
* Stefano Bistarelli
* Andrea Cohen
* Sylvie Doutre
* Wolfgang Dvorak
* Stefan Ellmauthaler
* Massimiliano Giacomin
* Sebastian Gottifredi
* Jean-Marie Lagniez
* Beishui Liao
* Jean-Guy Mailly
* Samer Nofal
* Nir Oren
* Odinaldo Rodrigues
* Fabio	Rossi
* Francesco Santini
* Mark Snaith
* Serena Villata
* Johannes Wallner
* Stefan Woltran
===========================================================================================


********************************************************************************
PD Matthias Thimm
Institute for Web Science and Technologies (WeST)
Universität Koblenz, Germany
Tel.: +49-261-287-2715
http://west.uni-koblenz.de/ -- http://www.mthimm.de