[PlanetKR] CfP SAFA2020

Sarah Gaggl sarah.gaggl at tu-dresden.de
Tue May 26 23:52:14 EST 2020

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


Co-located with the 8th International Conference on Computational Models of Argument
(COMMA 2020), Perugia, Italy (https://protect-au.mimecast.com/s/_E34CwV1k8tPkzgYuqX5vG?domain=comma2020.dmi.unipg.it).

September 8, 2020

Note that SAFA will probably be held virtually.

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. A a second workshop had been 
organised in 2018.

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
* Machine learning and 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.

Keynote Speaker
Francesca Toni (Department of Computing, Imperial College London, GB)

Important Dates
Paper submission deadline: 	Jul 1, 2020
Notification of acceptance:	Jul 29, 2020
Camera-ready version:	      Aug 19, 2020
Workshop:	                  Sep 8, 2020

We invite papers, which have to be in English and formatted according to the IOS style
(https://protect-au.mimecast.com/s/p7zrCxnglNCBD4PrUYmsEe?domain=iospress.nl), 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

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

All accepted papers will be published in the workshop proceedings via https://protect-au.mimecast.com/s/ZLsfCzvknNUnEpOJCohNUb?domain=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 2020 website, https://protect-au.mimecast.com/s/d_kfCANpm7tVB3G7tMTSvS?domain=comma2020.dmi.unipg.it)
and present the contribution.

* Sarah A. Gaggl (TU Dresden, Germany)
* Matthias Thimm (University of Koblenz-Landau, Germany)
* Mauro Vallati (University of Huddersfield, UK)

Program Committee
* Mario Alviano
* Stefano Bistarelli
* Federico Cerutti
* Andrea Cohen
* Sylvie Doutre
* Wolfgang Dvorak
* Stefan Ellmauthaler
* Massimiliano Giacomin
* Sebastian Gottifredi
* Matti Järvisalo
* 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

Dr. Sarah Gaggl
Technische Universität Dresden
Institute of Artificial Intelligence 
Computational Logic Group
Phone: +49(0)351 463 38679

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200526/62d77e00/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5084 bytes
Desc: not available
Url : http://discuss.it.uts.edu.au/pipermail/planetkr/attachments/20200526/62d77e00/attachment-0001.bin 

More information about the PlanetKR mailing list