Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
GI-Vortrag: Prof. Jürg Gutknecht, ETH Zürich:
Multicore: Ist der Gratis Lunch wirklich vorbei?
Beginn: 18.10.2007, 19:00 Uhr
Ort: FH Wolfenbüttel, Salzdahlumer Str. 46/48, Hörsaal A
Webseite: http://www.lineas.de/gi-bs/
Kontakt:
Während in der Vergangenheit die bestehende Software lediglich
mechanisch auf neue Hardware portiert zu werden brauchte um eine dem
"Moore'schen" Gesetz entsprechende Beschleunigung zu erzielen, schaut
die Zukunft diesbezüglich nicht mehr so rosig aus. Wenn nun mit jeder
neuen Hardwaregeneration statt eines noch schnelleren Prozessors
eine grössere Anzahl gleich schneller Prozessoren zur Verfügung
steht, so bedingt die Ausschöpfung des Potenzials der neuen Hardware
einen substanziellen Umprogrammierungsaufwand, was Fachleute gerne
in Form von Parolen wie etwa "The Free Lunch is Over" zum Ausdruck
bringen. Der Aufwand ist substanziell, weil er einen Paradigmenwechsel
von "sequenzieller Programmierung" zu "paralleler Programmierung"
impliziert. Leider sind bestehende Programmiersprachen grösstenteils
rein sequenziell und besitzen im Hinblick auf parallele Programmierung
nur sehr limitierte, meist schwerfällige und auf Softwarebibliotheken
beruhende Ausdruckskraft. In diesem Vortrag werde ich einige parallele
Programmiersprachenkonstrukte erklären und illustrieren, mit welchen
wir im Rahmen eines kürzlichen Projektes experimentiert haben. Wir
werden sehen, dass die Zeit der Gratismahlzeiten nicht notwendigerweise
vorüber ist, sofern wir willens sind die Programmiersprache und das
Laufzeitsystem entsprechend weiterzuentwickeln.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Clemens Kupke, CWI Universität Amsterdam:
Observational equivalence between coalgebras over Set
Beginn: 15.10.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
3. OG, Raum 305
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-10-15-kupke.html
Kontakt: Prof. Dr. Jirí Adámek
Coalgebras provide a framework for studying various types of
transition systems in a uniform way. In particular the theory of
coalgebras yields for a given type of transition system a notion of
"observational equivalence". In case the systems under consideration
can be represented as coalgebras for a weak pullback preserving set
functor F, observational equivalence can be nicely captured using the
so-called "F-bisimulations". In my talk I want to focus on observational
equivalence between coalgebras for functors that lack this property. For
these functors I will propose so-called "relational equivalences" (a
notion based on pushouts) as a useful generalization of F-bisimulations.
In the first part of my talk I want to motivate why coalgebras for
functors that do not preserve weak pullbacks are interesting by
taking a closer look at neighbourhood frames. In coalgebraic terms,
a neighbourhood frame is a coalgebra for the contravariant powerset
functor composed with itself, i.e., a coalgebra for a functor that does
not preserve weak pullbacks. I will discuss observational equivalence
between neighbourhood frames in detail and finally sketch how to obtain
a Van Benthem characterisation theorem for classical modal logic: over
the class of neighbourhood frames classical modal logic can be seen as
the fragment of first-order logic that is invariant under observational
equivalence.
In the second part of the talk I want to argue why, in my opinion,
relational equivalences are a useful generalization of coalgebraic
bisimulations. We characterize those set functors F for which every
observational equivalence between F-coalgebras is a relational
equivalence.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Clemens Kupke, CWI Universität Amsterdam:
Observational equivalence between coalgebras over Set
Beginn: 15.10.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
3. OG, Raum 305
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-10-15-kupke.html
Kontakt: Prof. Dr. Jirí Adámek
Coalgebras provide a framework for studying various types of
transition systems in a uniform way. In particular the theory of
coalgebras yields for a given type of transition system a notion of
"observational equivalence". In case the systems under consideration
can be represented as coalgebras for a weak pullback preserving set
functor F, observational equivalence can be nicely captured using the
so-called "F-bisimulations". In my talk I want to focus on observational
equivalence between coalgebras for functors that lack this property. For
these functors I will propose so-called "relational equivalences" (a
notion based on pushouts) as a useful generalization of F-bisimulations.
In the first part of my talk I want to motivate why coalgebras for
functors that do not preserve weak pullbacks are interesting by
taking a closer look at neighbourhood frames. In coalgebraic terms,
a neighbourhood frame is a coalgebra for the contravariant powerset
functor composed with itself, i.e., a coalgebra for a functor that does
not preserve weak pullbacks. I will discuss observational equivalence
between neighbourhood frames in detail and finally sketch how to obtain
a Van Benthem characterisation theorem for classical modal logic: over
the class of neighbourhood frames classical modal logic can be seen as
the fragment of first-order logic that is invariant under observational
equivalence.
In the second part of the talk I want to argue why, in my opinion,
relational equivalences are a useful generalization of coalgebraic
bisimulations. We characterize those set functors F for which every
observational equivalence between F-coalgebras is a relational
equivalence.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Takahiro Kiuchi, M.D., Ph.D., Department of Health Communication,
School of Public Health, University of Tokyo:
UMIN - Concept, History, and Current Status
Beginn: 11.10.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
4. OG, Raum 435
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-10-11-kiuchi.html
Kontakt: Prof. Dr. Reinhold Haux
University hospital Medical Information Network (UMIN), Japan, was
established in 1989 to share common database and application software
among national university hospitals in Japan. Thanks to its successful
management and successive funding from the government, UMIN has evolved
into one of the largest and most versatile public academic network
organizations in the world and indispensable information infrastructure
for the Japanese medical academic community. Currently, the number of
its registered medical professionals and its web page views per month is
about 153,000 and 15,000,000, respectively. I believe that similar public
information centers for academic activities would be also beneficial
for other academic specialties in other countries.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
GI/VDI-Workshop: Jasmin Ramm, M.A., BLM:
»Grimme, Natalis und Co.« gegen die »geisttötende Kopfarbeit«
Beginn: 07.10.2007, 11:15 Uhr
Ort: Braunschweigisches Landesmuseum, Burgplatz 1
Webseite: http://tg.vdi-bs.de/?content=2&showDate=51
Kontakt:
Besondere Rechenmaschinen mehrerer Jahrhunderte aus der Sammlung des
Braunschweigischen Landesmuseums werden den Teilnehmern des Workshops in
Anwendung und Funktionsweise durch Frau Ramm vorgestellt, so z.B. ein
Nachbau der Rechenuhr von Wilhelm Schickard, das Arithmomètre von
Charles-Xavier Thomas und verschiedene Brunsviga-Modelle.
Ein besonderer Leckerbissen ist sicher dabei, dass die Teilnehmer
verschiedene historische Rechenmaschinen in Funktion erleben
werden und vorher mit einer Führung durch die Dauerausstellung des
Braunschweigischen Landesmuseums Einblicke in die Geschichte des
Braunschweiger Unternehmens »Grimme, Natalis und Co.« und seinen
Wandel zum Rechenmaschinenproduzenten »Brunsviga Maschinenwerke A.G.«
erhalten können.
Dieser Workshop aus der VDI-Vortragsreihe "Diagonale" wird gemeinsam mit
dem Braunschweigischen Landesmuseum im Rahmen der Stadt der Wissenschaft
2007 veranstaltet.
Eine vorherige Anmeldung ist erforderlich. Die Teilnehmerzahl ist auf
25 Personen begrenzt.
Der Eintritt wird vom VDI Braunschweig übernommen.
Anmeldung unter Tel. 0531 / 1215-2632 (9.00 - 16.00 Uhr)
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Takahiro Kiuchi, M.D., Ph.D., Department of Health Communication,
School of Public Health, University of Tokyo:
UMIN - Concept, History, and Current Status
Beginn: 11.10.2007, 16:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
4. OG, Raum 435
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2007-10-11-kiuchi.html
Kontakt: Prof. Dr. Reinhold Haux
University hospital Medical Information Network (UMIN), Japan, was
established in 1989 to share common database and application software
among national university hospitals in Japan. Thanks to its successful
management and successive funding from the government, UMIN has evolved
into one of the largest and most versatile public academic network
organizations in the world and indispensable information infrastructure
for the Japanese medical academic community. Currently, the number of
its registered medical professionals and its web page views per month is
about 153,000 and 15,000,000, respectively. I believe that similar public
information centers for academic activities would be also beneficial
for other academic specialties in other countries.
