Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein.
Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes:
Logics and Algorithms for the Synthesis of Distributed Systems
Beginn: 18.02.2015, 08:30 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 161
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-18-finkbeiner.html
Kontakt: Prof. Dr.-Ing. Ina Schaefer
More than fifty years after its introduction by Alonzo Church, the
synthesis problem is still one of the most intriguing challenges in
the theory of discrete systems. On the one hand, synthesis algorithms
have found game-changing applications in many areas of computer science
and systems engineering, from the automatic construction of control
strategies for robots and manufacturing plants to the computer-aided
design of coordination protocols and human-computer interfaces. On the
other hand, the logical and algorithmic foundations of the synthesis
problem are far from complete.
Synthesis is particularly challenging in the setting of distributed
systems, where we try to find a combination of process implementations
that jointly guarantee that a given specification is satisfied. A
reduction from multi-player games shows that the problem is in general
undecidable. Despite this negative result, there is a long history
of discoveries where the decidability of the synthesis problem was
established for distributed systems with specific architectures, such as
pipelines and rings, or other restrictions on the problem, such as local
specifications. Encouraged by these findings, new specification languages
like Coordination Logic aim for a comprehensive logical representation
and a uniform algorithmic treatment of the decidable synthesis problems.
In this talk, I will trace the progress from isolated decidability results
towards universal synthesis logics and algorithms. I will demonstrate
how the logical representation of the synthesis problem simplifies the
identification of decidable cases and give an overview on the state of
the art in decision procedures and strategy construction algorithms for
the synthesis of distributed systems.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
Andreas Hestermeyer, ProzessManufaktur, Braunschweig:
GI-Vortrag: IT-Verantwortung optimal organisiert
Beginn: 11.02.2015, 18:00 Uhr
Ort: Haus der Wissenschaft, Raum Veolia und Weitblick, Pockelsstraße
11
Webseite: http://www.lineas.de/gi-bs/
Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS
Der Vortrag stellt ein konkretes Beispiel der Organisation einer
IT-Abteilung in einem Großkonzern vor, mittels derer die Zusammenarbeit
mit ihren Fachbereichen deutlich verbessert wurde. Die der Organisation
zugrunde liegenden Prinzipien werden dann verallgemeinert und daraus
Ansätze für eine optimierte IT-Organisation unter Berücksichtigung
aktueller Trends abgeleitet.
Zum Vortragenden: Andreas Hestermeyer hat an der TU Braunschweig
Informatik studiert und nach einigen Jahren als Entwicklungsingenieur
Verantwortung als IT-Manager getragen. Er war vor seiner
Selbstständigkeit zuletzt IT-Leiter der Volkswagen of America, Inc. und
ist seit 2007 selbstständiger Organisationsberater. Seit 2009 betreibt
er die ProzessManufaktur in Braunschweig.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein.
Prof. Dr. Jan-Michael Frahm, University of North Carolina at Chapel Hill,
Department of Computer Science:
World-scale 3D Modeling
Beginn: 16.02.2015, 08:30 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 161
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-16-frahm.html
Kontakt: Prof. Dr. Reinhold Haux
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein.
Prof. Dr. Andreas Nüchter, Universität Würzburg, Lehrstuhl für
Informatik VII: Robotik und Telematik:
Optimal 3D Point Clouds from Mobile Laser Scanning
Beginn: 16.02.2015, 11:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 161
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2015-02-16-nuechter.html
Kontakt: Prof. Dr. Reinhold Haux
