Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Professor Tarmo Uustalu, Institute of Cybernetics, Technical University
of Tallinn:
Dataflow computation, tree transformations and comonads
Beginn: 23.11.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
3. OG, Raum 358
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-11-23-uustalu.html
Kontakt: Prof. Dr. Jirí Adámek
We describe a novel approach to mathematical description of
context-dependent notions of computation and the semantics of
corresponding programming languages. Notably, this covers various
notions of dataflow computation (stream-based computation) and tree
transformations. The approach is based on symmetric monoidal comonads. It
is analogous to Moggi's treatment of effects based on strong monads
and continues the line of Brookes, Geva and Van Stone's early work on
"computational" comonads for intensional semantics. Especially, we pay
attention to the precision and theoretical cohesion that for some notions
of context-dependence can be achieved by "parametrizing" the appropriate
"basic" comonads.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Professor Roger Wattenhofer, Institut für Pervasive Computing, ETH
Zürich:
Sensor Networks: Theory and Practice Get Together to Gather Data
Beginn: 23.11.2007, 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/2007-11-23-wattenhofer.html
Kontakt: Prof. Dr. Sándor P. Fekete
Sensor networks are an exciting research area bringing together
researchers with different backgrounds, from theory to practice. I
will talk about data gathering in sensor networks, arguably a core
task of many applications. I am going to look at data gathering from
three different viewpoints, wireless theory, distributed computing,
and networking protocols. In particular I will present results on
worst-case capacity, data aggregation, and energy efficiency. Sensor
networks continue to puzzle as many important ingredients are not well
understood. In my talk I will point out a few open problems.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Professor Tarmo Uustalu, Institute of Cybernetics, Technical University
of Tallinn:
Dataflow computation, tree transformations and comonads
Beginn: 23.11.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
3. OG, Raum 358
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-11-23-uustalu.html
Kontakt: Prof. Dr. Jirí Adámek
We describe a novel approach to mathematical description of
context-dependent notions of computation and the semantics of
corresponding programming languages. Notably, this covers various
notions of dataflow computation (stream-based computation) and tree
transformations. The approach is based on symmetric monoidal comonads. It
is analogous to Moggi's treatment of effects based on strong monads
and continues the line of Brookes, Geva and Van Stone's early work on
"computational" comonads for intensional semantics. Especially, we pay
attention to the precision and theoretical cohesion that for some notions
of context-dependence can be achieved by "parametrizing" the appropriate
"basic" comonads.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
GI-Vortrag: Professor Dr. Stefan Fischer, Leiter des Instituts für
Telematik der Universität Lübeck:
Web 2.0 - schöne neue Internet-Welt
Beginn: 13.11.2007, 18:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.lineas.de/gi-bs/
Kontakt:
Web 2.0 ist eines der zurzeit topaktuellen Schlagworte in der Netzwelt. Es
bezeichnet keine neue Softwareversion, sondern einen Wandel in der
Benutzung des Web, der sich am ehesten in der Beteiligung der Benutzer
fest machen lässt: vor Web 2.0 waren sie reine Konsumenten, seit Web 2.0
verschwimmt die Grenze zwischen Inhaltsanbietern und -konsumenten immer
mehr. Aufgrund der inzwischen praktisch ubiquitären Netzversorgung
auf der einen Seite und der zunehmenden Vereinfachung der Produktion
digitaler Inhalte kann heute jeder sein eigener Inhalts- und sogar
Anwendungsanbieter werden. Dieser Vortrag geht zunächst auf die mit Web
2.0 einhergehende neue Netz- und Medienkultur ein. Anschließend werden
die wichtigsten technischen Grundlagen vorgestellt (Ajax, SOAP und REST,
RSS, Blogs, Wikis), bevor eine Einordnung in Bezug auf andere wichtige
Ansätze wie z.B. Service-Oriented Archtectures versucht wird.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
GI/VDI/VDE-Vortrag: Prof. Dr.-Ing. Ulrich Seiffert, Firma WiTech:
Automobil-Antriebe der Zukunft
Beginn: 07.11.2007, 19:00 Uhr
Ort: TU Braunschweig, Pockelsstraße 4, Hörsaal SN 19.1
Webseite: http://www.lineas.de/gi-bs/
Kontakt:
Der von VDI - Verein Deutscher Ingenieure, VDE - Verband Der
Elektrotechnik und GI - Gesellschaft für Informatik, gemeinsam
veranstaltete "Vortrag des Jahres" widmet sich angesichts schwindender
fossiler Energie-Vorräte dem hoch aktuellen Thema, womit unsere Autos
vielleicht schon in naher Zukunft angetrieben werden können. Diese Frage
betrifft jeden von uns. Und wenn es in unserer Region einen Experten
gibt, der hierauf eine kompetente Antwort zu geben vermag, dann ist
es unser Referent. Wir sind dankbar, dass wir Professor Seiffert,
geschäftsführender Gesellschafter der WiTech Engineering GmbH,
gewinnen konnten. Als langjähriger Leiter der Aggregatentwicklung,
als Vorstand für Forschung und Entwicklung und dann als Berater der
Volkswagen AG ist er auch Sprecher des Zentrums für Verkehr der TU. Wie
kaum ein anderer ist er mit dieser Problematik befasst und kann neue Wege
aufzeigen. Freuen Sie sich mit uns auf zukunftsweisende Ausführungen!
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Professor Roger Wattenhofer, Institut für Pervasive Computing, ETH
Zürich:
Sensor Networks: Theory and Practice Get Together to Gather Data
Beginn: 23.11.2007, 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/2007-11-23-wattenhofer.html
Kontakt: Prof. Dr. Sándor P. Fekete
Sensor networks are an exciting research area bringing together
researchers with different backgrounds, from theory to practice. I
will talk about data gathering in sensor networks, arguably a core
task of many applications. I am going to look at data gathering from
three different viewpoints, wireless theory, distributed computing,
and networking protocols. In particular I will present results on
worst-case capacity, data aggregation, and energy efficiency. Sensor
networks continue to puzzle as many important ingredients are not well
understood. In my talk I will point out a few open problems.
