Researchers at the Heinz Nixdorf Institute in Paderborn develop specifiable analysis tool

The motto of this year's symposium was: "Recognising tomorrow's potential for success and how AI can support this".

The conference offered more than 350 participants from all over the world a wide variety of workshops, talks and discussion platforms on the latest research results in the field of theoretical computer science.