Tag der Informatik 2009
12. Mai 2009
Erwin Schrödinger-Zentrum, Konferenzraum 0’119, Rudower Chaussee 26
Erwin Schrödinger-Zentrum, Konferenzraum 0’119, Rudower Chaussee 26
Programm
| 13:00 | Begrüßung Prof. Martin Grohe Geschäftsführender Direktor |
| 13:15 | Das Erreichbarkeitsproblem über unendlichen Graphen Prof. Wolfgang Thomas, RWTH Aaachen Zusammenfassung: 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 | Pause |
| 14:30 |
Distributed Data Management for Future Internet Services Prof. Alexander Reinefeld, Zuse-Institut Berlin und HU Berlin Zusammenfassung: Future Internet services require access to large volumes of dynamic changing data records that are spread across different locations. With thousands or millions of distributed nodes storing the data, node crashes or temporary network failures are normal rather than exceptions and it is therefore important to hide failures from the application. We suggest to use peer-to-peer protocols to provide self-management among peers. However, today's peer-to-peer protocols are mostly limited to write-once/read-many data sharing. To extend them beyond the typical file sharing, the support of consistent replication and fast transactions is an important yet missing feature. In this talk, we present Scalaris, a scalable, distributed key-value store. Scalaris is built on a structured overlay network and uses a distributed transaction protocol. As a proof of concept, we implemented a Wikipedia clone with Scalaris which outperforms the public Wikipedia with just a few servers. Scalaris won the first price in the IEEE Scale Challenge 2008. |
| 15:15 | Prämierung der besten Diplomarbeiten Leitung: Prof. Beate Meffert |
| 15:30 | Pause Posterausstellung mit Forschungsbeiträgen aus dem Institut für Informatik. Vorstellung des Entwicklungshilfeprojekts "Meltwater Entrepreneurial School of Technology" in Ghana. |
| 16:00 |
Information zur KIF (Konferenz der Informatikfachschaften) Fachschaft des Instituts für Informatik |
| 16:15 |
6. Humboldt-Informatik GONG SHOW (
HIGS'09) Kurze Vorträge zu Diplom- und Promotionsprojekten am Institut für Informatik Leitung: Prof. Ulf Leser |
| 17:45 |
Key-Signing-Party Fachschaft des Instituts für Informatik |
| 18:00 |
Geselliges Beisammensein (mit Speisen und Getränken) Ort: Institut für Informatik Johann von Neumann-Haus im Foyer Rudower Chaussee 25 Berlin-Adlershof |