FORMAT-Workshop Frühjahr 2009
Der FORMAT-Workshop am Mittwoch, 25. Februar 2009 beim hiesigen Institut für Informatik setzt eine langjährige Tradition fort, die vor mehr als 20 Jahren von theoretischen Informatikern der Universitäten Darmstadt, Frankfurt und Würzburg ins Leben gerufen wurde. Mittlerweile beteiligen sich regelmäßig auch Informatiker der Unis Gießen, Kaiserslautern, Kassel, Mainz und Siegen.
Programm
09.00 Uhr | Begrüßung | |
09.15 Uhr | Christian Reitwießner | Konjunktive Grammatiken mit eingeschränkter Disjunktion |
10.00 Uhr | Winfried Höhn | Heuristiken zur Erkennung typischer OCR-Fehler |
10.45 Uhr | Kaffeepause | |
11.00 Uhr | Markus Schmid | Algorithmic Aspects of Membership Problems for Pattern Languages |
11.45 Uhr | Hermann Gruber | Provably Shorter Regular Expressions from Deterministic Finite Automata |
12.30 Uhr | Mittagspause | |
14:00 Uhr | Andreas Malcher | Reversible Zellularautomaten |
14.45 Uhr | Hannah Bayer | Bewertung von Algorithmen nach ihrem Energieverbrauch |
15.30 Uhr | Kaffeepause | |
15.45 Uhr | Ulrich Laube | Maximum Likelihood Analyse von Heap Sort |
16.30 Uhr | Anika Scheid | Freie Energie von RNA-Molekülen |
Anreise
Im Lageplan des Campus finden Sie auch weitere Hinweise zur Anreise. Der Veranstaltungsraum, der "Übungsraum I" AH002, befindet sich im Hanggeschoß des Informatikgebäudes. Der Zugang dorthin ist am 25.2.09 entsprechend ausgeschildert.
