International symposium in honor of Prof. Franz Baader

On Friday, 19.09.25, the Chair of Automata Theory hosted an international symposium to mark the retirement of Prof. Franz Baader. Numerous former doctoral students, research partners and companions came to Dresden to honor his outstanding scientific achievements. Opened by Vice-Dean Prof. Raimund Dachselt, the symposium included lectures by Prof. Anni-Yasmin Turhan (Paderborn), Prof. Carsten Lutz (Leipzig), Prof. Silvio Ghilardi (Milan), Prof. Bernhard Nebel (Freiburg), Prof. Giuseppe De Giacomo (Oxford) and an online lecture by Prof. Renata Wassermann (São Paulo). They highlighted different aspects of Prof. Baader's research areas, such as unification, description logics and temporal logics. Prof. Sebastian Rudolph provided musical accents on the piano, and after lunch a quiz on Prof. Baader's career entertained the guests in a humorous way. Finally, colleagues and friends offered moving congratulations to Prof. Baader, both in person and online.

Prof. Baader was first appointed professor at RWTH Aachen University in 1993 and then came to Dresden in 2002. He is an ECCAI Fellow and member of Acedemia Europaea and received the prestigious Herbrand Award of the Conference on Automated Deduction (CADE) in 2020. He will retire on October 1, 2025, but will remain with the Faculty as Senior Professor for the time being in order to pass on his extensive experience in research and institute management.

We wish Prof. Baader all the best for his retirement and continued success, joy and inspiration - both at TU Dresden and beyond.