Tag der Informatik 2009 am 12. Mai
Vorträge, Prämierungen und geselliges Beisammensein
Das Institut für Informatik lädt zum
Tag der Informatik am 12. Mai 2009 ins
Erwin-Schrödinger-Zentrum, Konferenzraum 0’119, Rudower Chaussee
26 ein. Neben Vorträgen stehen u.a. auf dem Programm die Prämierung der
besten Diplomarbeiten, kurze Vorträge zu Diplom- und
Promotionsprojekten des Instituts und eine Posterausstellung mit
Forschungsbeiträgen der Informatiker. Beendet wird der Tag mit einem
geselligen Beisammensein am Institut.
PROGRAMM:
Begrüßung
Prof. Martin Grohe
Geschäftsführender Direktor
13.15 Uhr
Das Erreichbarkeitsproblem über unendlichen Graphen
Prof. Wolfgang Thomas, RWTH Aaachen
Das Erreichbarkeitsproblem ist eine einfach formulierbare algorithmische Frage: Gibt es in einem Graphen G für gegebene Knoten A und B einen Weg von A nach B? Wir betrachten diese Frage für endlich präsentierte unendliche Graphen. Alle Bemühungen zur Verifikation von Systemen mit unendlichem Zustandsraum haben hier ihren Kern - und die Herausarbeitung unendlicher Transitionsstrukturen, die eine automatische Erreichbarkeitsanalyse gestatten, ist heute eine zentrale Frage im Bereich des "Model-Checking". Wir geben einen Überblick über 100 Jahre Forschung, die von einer wenig bekannten Arbeit von Axel Thue (1910) bis hin zu aktuellen Untersuchungen in der Darstellungstheorie unendlicher Graphen führen und neue Ansätze der Programmverifikation ermöglichen.
14.15 Uhr
Pause
14.30 Uhr
Distributed Data Management for Future Internet Services
Prof. Alexander Reinefeld, Zuse-Institut Berlin und HU Berlin
15.15 Uhr
Prämierung der besten Diplomarbeiten
Leitung: Prof. Beate Meffert
15.30 Uhr
Pause
Posterausstellung mit Forschungsbeiträgen aus dem Institut für Informatik.
Vorstellung des Entwicklungshilfeprojekts „Meltwater Entrepreneurial School of Technology“ in Ghana.
16.00 Uhr
Information zur KIF (Konferenz der Informatikfachschaften)
Fachschaft des Instituts für Informatik
16.15 Uhr
6. Humboldt-Informatik GONG SHOW
Kurze Vorträge zu Diplom- und Promotionsprojekten am Institut für Informatik
Leitung: Prof. Ulf Leser
17.45 Uhr
Key-Signing-Party
Fachschaft des Instituts für Informatik
18.00 Uhr
Geselliges Beisammensein
(mit Speisen und Getränken)
Ort: Institut für Informatik
Johann von Neumann-Haus im Foyer
Rudower Chaussee 25
Berlin-Adlershof
Weitere Infos:
http://www.informatik.hu-berlin.de/institut/tdi/tdi2009.html