Logic List Mailing Archive

CfP [extended deadline]: DL 2026: 39th International Workshop on Description Logics (Lisbon, July 17–19, 2026)

Deadline extension DL 2026

39th International Workshop on Description Logics, DL 2026

  July 17-19, 2026, Lisbon, Portugal
  https://dl-2026.github.io/


Important Dates

  Paper Registration        : April 19, 2026 (extended)
  Paper Submission          : April 26, 2026 (extended)
  Notification of acceptance: May 20, 2026
  Camera-Ready version      : June 21, 2026
  Workshop                  : July 17-19, 2026
  (All deadlines are 23:59 Anywhere On Earth, UTC- 12)

We plan to hold DL2026 as an in-person event. To encourage
engaging discussions and valuable connections, at least one author
of each accepted paper must attend the workshop in person.

General Information

The DL workshop is the major annual event of the description logic
research community. It aims to bring together researchers from academia
and industry that work in this field or in related fields.
DL 2026 will be held in Lisbon, Portugal, co-located with KR 2026, the
23rd International Conference on Principles of Knowledge Representation
and
Reasoning as part of FLOC 2026, the Federated Logic Conference.


Scope of the Workshop

We invite contributions on all aspects of description logics,
including,
but not limited to:
 - Foundations of description logics
 - Extensions of description logics
 - Integration of description logics with other formalisms
 - Applications of description logics
 - Systems and tools of all kinds around description logics
Please check https://dl-2026.github.io/call/ for details.

Submissions

Traditionally, the DL review process follows a single-blind model,
where
reviewers can see the authors names. Therefore, for standard
submissions,
please include author names in your submitted files. However, if you
have a
specific reason to remain anonymous, you may opt for the anonymous
(i.e.,
double-blind) submission option instead. The new submission platform
HotCRP supports both options, allowing authors to select their
preferred
review model during the submission process.

Submission Categories
We welcome submissions that fall within the workshops scope in
either of the following formats:
 1. Regular Papers  up to 11 pages (excluding references).
 2. Extended Abstracts  24 pages  (excluding references).

Both regular papers and the extended abstracts must be formatted using
the
CEURART style based on the DL-specific template available at:
https://dl-2026.github.io/submissions/

Submissions should be made through the DL 2026 submission portal:
https://submissions.floc26.org/dl/

Regular Papers
 - Must provide substantial contributions that can be cited in other
   publications.
 - Should not have been previously published or be under submission
   elsewhere.
 - May include an appendix with additional proofs, evaluation data, or
   other relevant content.

Extended Abstracts
 - Should ideally include an appendix with additional proofs,
evaluation
   data, or an extended version of the paper.
 - If the abstract is based on a paper accepted or under review at
   another venue, the authors must clearly state the venue and the
papers
   status.
 - The appendix is optional and will be reviewed at the discretion of
the
   reviewers, but it will not be included in the proceedings. It does
not
   need to follow the CEURART format.

Presentation Selection
 Accepted submissions (both regular papers and extended abstracts)
 will be considered for oral or poster presentations at the workshop.
 The selection will be based solely on content quality, not on the
 type of submission.


Organization

General Co-Chairs:
  Matthias Knorr,  Universidade Nova de Lisboa, Portugal
  Ivan Varzinczak, Universit Sorbonne Paris Nord, France

PC Co-Chairs:
  Alisa Kovtunova, TU Dresden, Germany
  Bar Sertkaya,  Frankfurt University of Applied Sciences, Germany

Local Chair:
  Matthias Knorr,  Universidade Nova de Lisboa, Portugal

Contact: In case of questions, please email the DL chairs Alisa
Kovtunova
(alisa.kovtunova@tu-dresden.de) and Bar Sertkaya
(sertkaya@fra-uas.de).

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php