The workshop on Theory and Methods for Abstraction (THEMA 2026) will be held in Lisbon, Portugal, on July 24, 2026. THEMA is a workshop of KR 2026 which is part of FLoC 2026.

About THEMA

THEMA aims to bring together researchers from knowledge representation (KR) and related communities working on their perspective of abstraction in their fields, with the goal of exchanging theories and methods. This has been an ongoing topic in knowledge presentation for a long time, see, e.g., work by Toby Walsh from '92. However, there is a rising interest in the topic in various disciplines of knowledge representation and related areas, especially in neuro-symbolic reasoning and explainable AI, which makes it the right time to provide a platform for these researchers and actively form a community on the topic of abstraction.

Dates

Venue

THEMA will be in the second week of FloC 2026, which will take place in Lisbon, Portugal. FloC 2026 provides further information on the venue here.

Contact

In case of questions, please write one of the organizers listed at the organization tab.