Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Prof. Dr. Reiner Hähnle, Chalmers University of Technology, Göteborg:
Deductive Program Specialisation & Compilation
Beginn: 23.05.2011, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-05-23-haehnle.html
Kontakt: Dr.-Ing. Ina Schaefer
Symbolic execution of programs is a versatile software analysis technique
that recently enjoyed much renewed interest. Traditional usage of symbolic
execution in a logic-based setting includes formal verification and
model checking, however, symbolic execution engines for Java or bytecode
provide also a basis of glass-box test case generation, visualisation
of program dynamics, or resource analysis. In this talk we present yet
another take on symbolic execution: we show that symbolic execution,
when viewed as an advanced forward analysis performed on the abstract
syntax tree of a program, can be combined with first-order reasoning,
partial evaluation, and usage analysis to implement provably correct
program specialization and compilation.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Ilze Zigurs, Ph.D., College of Information Science and Technology,
The Peter Kiewit Institute, University of Nebraska at Omaha, USA:
Virtual World Project Management: Theory and Practice
Beginn: 11.04.2011, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-04-11-zigurs.html
Kontakt: Prof. Dr. Dirk C. Mattfeld
Metaverses are immersive three-dimensional virtual worlds where people
interact with each other and their environment, using the metaphor of
the real world but without its physical limitations. Unique technology
capabilities of metaverses have the potential to enhance the conduct
of virtual projects, but little is known about virtual worlds in this
context. We develop a theoretical foundation for virtual teams in
metaverses that includes both technology capabilities and the social
interaction that takes place in the environment. The talk provides the
details of our conceptual model and results of an empirical study in
Second Life. The results have intriguing implications for how metaverse
technology capabilities might provide new ways to address gaps in the
current research and practice of virtual project management and virtual
teams. Both the theoretical model and the empirical work came out of a
doctoral seminar co-taught with Deepak Khazanchi, in which the doctoral
students experienced the entire research cycle of idea generation,
research design, research conduct, and publication.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig machen auf folgenden Vortrag der GI Regionalgruppe
Braunschweig aufmerksam:
GI-Vortrag: Prof. Dr.-Ing. Nils Jensen, Ostfalia Hochschule fuer
angewandte Wissenschaften, Institut fuer Medieninformatik:
Stand und Zukunft von Rich Internet Applications mit HTML5, Geolocation
und Webstorage
Beginn: 07.04.2011, 18:00 Uhr
Ort: Haus der Wissenschaft, Raum Veolia, Pockelsstraße 11
Webseite: http://www.lineas.de/gi-bs/
Kontakt: Anja Schaar-Goldapp, Sprecherin der GI Regionalgruppe BS
Der Vortrag spezifiziert neue Standards des World Wide Web Konsortiums
(W3C) und darauf aufbauend innovative Einsatzmoeglichkeiten. Rich
Internet Applications (RIAs) sind Web-Seiten mit komplexer
Funktionalitaet. Beispiele sind Google Maps und der Volkswagen
Carconfigurator.
Um RIAs zu bauen benoetigt man proprietaere Plugins oder offene
Web-Standards. Im heutigen Vortrag beziehe ich mich auf offene
Standards. Neben HTML5 sind als Neuerungen die Geolocation API und
Webstorage zu nennen. Die Geolocation API ermöglicht es Web-Seiten,
die Position des Nutzers zu bestimmen. Diese von Smartphones bekannte
Technik wird genutzt, um z. B. standortabhaengige Suchabfragen zu
starten. Webstorage wiederum kann Daten und Funktionen, die mit einer
Web-Seite verknuepft sind, auf dem Rechner des Nutzers speichern. Dadurch
kann der Nutzer nach dem ersten Besuch einer Seite mit ihr weiterarbeiten
ohne im Netzwerk bleiben zu muessen.
Basierend auf den Standards stelle ich Moeglichkeiten vor,
plattformunabhaengige Anwendungen zu bauen, deren Funktionalitaet der
von nativen Anwendungen in vielen Belangen nahe kommt.
Der Vortrag richtet sich an alle, die sich ueber aktuelle Entwicklungen
des W3C informieren moechten oder an innovativen Verwendungsmoeglichkeiten
von RIAs interessiert sind.
Die Dozenten der Informatik-Institute der Technischen Universität
Braunschweig laden im Rahmen des Informatik-Kolloquiums zu folgendem
Vortrag ein:
Ilze Zigurs, Ph.D., College of Information Science and Technology,
The Peter Kiewit Institute, University of Nebraska at Omaha, USA:
Virtual World Project Management: Theory and Practice
Beginn: 11.04.2011, 17:00 Uhr
Ort: TU Braunschweig, Informatikzentrum, Mühlenpfordtstraße 23,
1. OG, Hörsaal M 160
Webseite: http://www.ibr.cs.tu-bs.de/cal/kolloq/2011-04-11-zigurs.html
Kontakt: Prof. Dr. Dirk C. Mattfeld
Metaverses are immersive three-dimensional virtual worlds where people
interact with each other and their environment, using the metaphor of
the real world but without its physical limitations. Unique technology
capabilities of metaverses have the potential to enhance the conduct
of virtual projects, but little is known about virtual worlds in this
context. We develop a theoretical foundation for virtual teams in
metaverses that includes both technology capabilities and the social
interaction that takes place in the environment. The talk provides the
details of our conceptual model and results of an empirical study in
Second Life. The results have intriguing implications for how metaverse
technology capabilities might provide new ways to address gaps in the
current research and practice of virtual project management and virtual
teams. Both the theoretical model and the empirical work came out of a
doctoral seminar co-taught with Deepak Khazanchi, in which the doctoral
students experienced the entire research cycle of idea generation,
research design, research conduct, and publication.
