Wissenschaftliches Kolloquium zur Verabschiedung von Prof. Andreas Podelski
Nach 20 Jahren an der Universität Freiburg verabschiedet sich Prof. Dr. Andreas Podelski Ende September 2026 in den Ruhestand. Aus diesem Anlass richten die Technische Fakultät und das Institut für Informatik am Donnerstag, 1. Oktober 2026, ab 16:00 Uhr ein wissenschaftliches Kolloquium zu seinen Ehren aus.
Prof. Andreas Podelski vertritt seit 2006 das Gebiet der Softwaretechnik an der Universität Freiburg. Mit seiner Forschung zur Analyse und automatischen Verifikation von Softwaresystemen hat er wichtige Beiträge zur Verbesserung von Qualität und Produktivität in der Softwareentwicklung geleistet. Zugleich hat er über viele Jahre hinweg zahlreiche Studierendengenerationen in Forschung und Lehre geprägt.
Auch über seine wissenschaftliche Tätigkeit hinaus hat sich Prof. Podelski in vielfältiger Weise für die Universität engagiert, unter anderem als Institutsleiter und Gleichstellungsbeauftragter.
Das Kolloquium bietet die Gelegenheit, auf die wissenschaftlichen Entwicklungen und Erfolge der vergangenen zwei Jahrzehnte zurückzublicken und zugleich aktuelle und zukünftige Fragestellungen der Informatik und Softwaretechnik in den Blick zu nehmen.
Internationale Gäste und aktuelle Themen
Den Auftakt des Kolloquiums bilden die Begrüßung durch Prof. Dr. Thomas Brox, Dekan der Technischen Fakultät, sowie ein Grußwort von Prof. Dr. Armin Biere, Leiter des Instituts für Informatik.
Im Anschluss erwarten die Gäste wissenschaftliche Vorträge international renommierter Forscher:
Prof. Dr. Moshe Y. Vardi
Rice University
„Are AI minds genuine minds?“
The question “Are AI minds genuine minds?” invites us to examine the nature of mind itself and whether artificial intelligence meets its defining criteria. A genuine mind is typically associated with consciousness, self-awareness, intentionality, and the capacity to experience mental states such as emotions. Whether AI qualifies as possessing a true mind ultimately depends on how we define the essential qualities of consciousness and intelligence. While this question has already been raised in the 19th Century, recent progress in AI requires us to re-examine it deeply.
Weitere Informationen zu Prof. Vardi finden Sie auf seiner persönlichen Website.
Prof. Dr. Rupak Majumdar
Max-Planck-Institut für Softwaresysteme in Kaiserslautern
„Software Engineering in the World of Agents.“
Coding agents have disrupted the way we build software and think about software engineering. Traditionally, software engineering processes were developed around the "scarce resource" of developer time. When software development costs go to (almost) zero, we have to re-evaluate many of our assumptions. In this talk, I will discuss problems in software engineering in the world of agents by considering problems of information acquisition, attention, and trust. Where possible, I will show simple mathematical models that provide a clean vocabulary to formulate these problems. It is difficult to predict how the world will look like in October (we are merely in July now), but framing engineering problems using the lens of information acquisition should give us a vocabulary that is relevant to many other problems.
Weitere Informationen zu Prof. Majumdar finden Sie auf seiner persönlichen Website.
Im seinem Vortrag wird Prof. Andreas Podelski auf die „Herausforderungen in der Softwaretechnik 2006-2026“ eingehen.
Gemeinsamer Austausch und Abschluss
Im Anschluss an das wissenschaftliche Programm findet ab 18:30 Uhr ein geselliges Get-together ein. Bei Gesprächen und einem gemeinsamen Austausch besteht die Gelegenheit, die vergangenen Jahre Revue passieren zu lassen und den Nachmittag gemeinsam ausklingen zu lassen.
Veranstaltungsort
Technische Fakultät der Universität Freiburg
Hörsaal 00-026 (EG)
Georges-Köhler-Allee 101
79110 Freiburg
Kontakt:
Dr. Rainer Giersiepen
Fakultätsassistenz
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
E-Mail: giersiepen@tf.uni-freiburg.de
Kerstin Steiger-Merx
Referentin PR/Marketing
Technische Fakultät
Albert-Ludwigs-Universität Freiburg
Tel.: 0761/203-8056
E-Mail: steiger-merx@tf.uni-freiburg.de
11.08.2026