Logic List Mailing Archive
CfP: SAFA2024: The Fifth International Workshop on Systems and Algorithms for Formal Argumentation, 17 September 2024, Hagen (Germany)
[Apologies if you receive multiple copies. Please forward this call to interested parties.] ===========================================================================================
Call for Papers
===========================================================================================
SAFA2024
The Fifth International Workshop on Systems and Algorithms for Formal Argumentation
http://safa2024.argumentationcompetition.org
Co-located with the Tenth International Conference on Computational Models of Argument (COMMA'24), Hagen, Germany, https://comma2024.krportal.org
September 17, 2024
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, a second one in 2018, a third one in 2020 and a fourth one in 2022.
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.
Important Dates
===========================================================================================
Paper submission deadline: July 8, 2024
Notification of acceptance: August 9, 2024
Camera-ready version: August 30, 2024
Workshop: September 17, 2024
Submission
===========================================================================================
We invite papers, which have to be in English and formatted according to the CEUR-WS style (http://safa2024.argumentationcompetition.org/safa2024_latex_template.zip), in the following two categories:
* Full technical papers (14 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 (7 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.
Submissions are handled through the EasyChair conference management system (https://easychair.org/my/conference?conf=safa2024).
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 2024 website, https://comma2024.krportal.org) and present the contribution.
Organizers
===========================================================================================
* AnneMarie Borg (Utrecht University, Netherlands)
* Stefan Ellmauthaler (TU Dresden, Germany)
* Jean-Guy Mailly (Université Toulouse Capitole, France)
* Andreas Niskanen (University of Helsinki, Finland)
Program Committee
===========================================================================================
Mario Alviano (University of Calabria, Italy) Stefano Bistarelli (Università degli Studi di Perugia, Italy) Andrea Cohen (Universidad Nacional del Sur, Argentina) Sylvie Doutre (Université Toulouse Capitole, France) Matti Järvisalo (University of Helsinki, Finland) Tuomo Lehtonen (University of Helsinki, Finland) Samer Nofal (German Jordanian University, Jordan) Daphne Odekerken (Utrecht University, Netherlands) Nir Oren (University of Aberdeen, United Kingdom) Odinaldo Rodrigues (King's College London, United Kingdom) Fabio Rossi (Università degli Studi di Perugia, Italy) Francesco Santini (Università degli Studi di Perugia, Italy) Mauro Vallati (University of Huddersfield, United Kingdom) Johannes Peter Wallner (TU Graz, Austria)
===========================================================================================
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php