SeReCo Spring Workshop 2026

We invite you to join the Workshop 2026 of the Doctoral College for Semantics, Reasoning and Coordination.

The Workshop will be hosted on 18th and 19th of March 2026 in Nuremberg, Germany, and is open to all PhD students and researchers of the participating organizations:

• Ecole des Mines Saint-Étienne
• Friedrich-Alexander-Universität Erlangen-Nürnberg
• Université Jean Monnet Saint-Étienne
• Karlsruhe Institute of Technology (KIT)
• Universität St. Gallen
• Université Côte d’Azur

Register

To register, please fill out the registration form.

Location

The workshop is located at the Friedrich-Alexander-Universität Erlangen-Nürnberg School of Business, Economics and Society Findelgasse 9 in 90403 Nuremberg, Germany, see map and directions.

Accomodations

We recommend staying either at the Motel One Nürnberg City or Saxx Nürnberg Hotel.

Local organization

• Thomas Wehr, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Andreas Harth, Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)

Program Chair

• Lukas Kubelka, Karlsruhe Institute of Technology (KIT)
• Lukas Kinder, Karlsruhe Institute of Technology (KIT)

Keynote

We are excited to announce Stefan Borgwardt as keynote speaker for SeReCo 2026.

Bio: Stefan Borgwardt is a research group leader at TU Dresden, where he is working on description logics, the complexity of logical reasoning, explainability, and automated planning. He has received multiple best paper awards at international conferences, and is very active in the organization of events for the Knowledge Representation and Reasoning community.

Title: Automated Planning with Ontologies

Abstract: Classical planning employs first-order formulas under closed- world semantics to achieve a goal with a given set of actions from an initial state. To incorporate background knowledge into the planning process, this knowledge can be provided in the form of an ontology, for example using description logics. However, description logics and other reasoning formalisms usually employ open-world semantics for drawing conclusions. In this talk, I will report on work in a project that aims to combine classical planning with description logics in order to provide more powerful and useful modeling tools for automated planning problems.

Tentative Program

The presentations time slots will be 15 min presentation + 5 min for questions.