Am kommenden Dienstag begrü?t das Paderborner Graduiertenkolleg ?Automatismen“ den Berliner Informatiker Prof. Dr. Bernd Mahr. Sein Gastvortrag ist Teil der aktuellen Ringvorlesung, die sich im Sommersemester 2013 mit interdisziplin?ren Ans?tzen der Komplexit?tsforschung besch?ftigt. Die Veranstaltung findet im Raum E5.333 statt und beginnt um 18.15 Uhr. Interessierte Zuh?rer sind dazu herzlich willkommen.
In der Algorithmik h?ngen Aufwand und Komplexit?t von Ma?en ab, die den Verbrauch von Ressourcen bei der Ausführung von Rechenvorg?ngen messen. Wichtige Hilfsmittel der Komplexit?tstheorie sind Reduktionen. Auch wenn es dafür bisher keinen formalen Rahmen gibt, legen Beispiele nahe, wie sich das Konzept der Reduktion auf Vorg?nge des Modellgebrauchs übertragen l?sst. Eine solche ?bertragung schafft die konzeptuelle Grundlage für die Frage, ob und wie Aufw?nde mithilfe von Modellen als Mittel der Abstraktion und ?bertragung reduziert werden k?nnen.
Prof. Dr. Bernd Mahr leitete die Arbeitsgruppe ?Formale Modelle, Logik und Programmierung (FLP)" im Institut für Telekommunikationssysteme der Technischen Universit?t Berlin. Dort widmete er sich den Arbeitsgebieten Komplexit?tstheorie, Spezifikationstheorie, Typtheorie, Logik und allgemeine Modelltheorie. Er ist Autor und Herausgeber vieler Publikationen und leitete gro?e Projekte zur Künstlichen Intelligenz und zur Entwicklung von Technologien und Anwendungen offener verteilter Systeme. Schwerpunkte seiner jetzigen Arbeit sind grundlegende konzeptuelle Fragen der Logik und Informatik. Daneben ist er u. a. Gründungsmitglied des Herrmann von Helmholtz-Zentrums für Kulturtechnik (HZK) an der Humboldt Universit?t zu Berlin und Vizepr?sident der Gesellschaft von Freunden der TU Berlin.
Das detaillierte Programm der aktuellen Ringvorlesung im Sommersemester 2013 sowie weitere Informationen zum Forschungsprofil des DFG-Graduiertenkollegs ?Automatismen – Kulturtechniken zur Reduzierung von Komplexit?t“ finden 360直播吧 unter http://www.uni-paderborn.de/institute-einrichtungen/gk-automatismen/.
