[PlanetKR] ICCMA 2025: 6th International Competition on Computational Models of Argumentation

[Johannes Wallner]

* Apologies for cross posting *

*** Call for Solvers and Benchmarks ***
ICCMA 2025: 6th International Competition on Computational Models of 
Argumentation
https://argumentationcompetition.org/2025/index.html

DEADLINES:
-April 30, 2025: Solver and benchmark submissions
-Results planned to be revealed in conjunction with the KR 2025 conference

ABOUT
The ICCMA competition series aims at nurturing research and development 
of implementations for computational models of argumentation. ICCMA 2025 
invites contributions from the community at large on both 
implementations of argumentation reasoning algorithms ("solvers") and 
interesting instances of argumentation problems for use as benchmarks in 
evaluating the solvers participating in the competition.

COMPETITION TRACKS
-Main track on Abstract Argumentation (including a "No-limits" track
  specific for e.g. parallel and portfolio solvers)
-Approximate Track (on abstract argumentation)
-Dynamic Track (on abstract argumentation)
-ABA track (on the structured argumentation formalism of 
assumption-based  argumentation).
For more details, see https://argumentationcompetition.org/2025/index.html

NEW FOR 2025
A fixed-SAT-solver comparison, where a specific SAT solver is fixed for 
a more direct comparison.

SUBMISSIONS
For submissions, see https://argumentationcompetition.org/2025/cfp.html

ICCMA 2023 Organizers:
Johannes P. Wallner, Andrei Popescu, and Iosif Apostolakis (Graz 
University of Technology)

CONTACT: iccma25 at ist.tugraz.at