Einladung zum
Kolloquium anläßlich des 60. Geburtstages von
Prof. Dr. Martin Dietzfelbinger
1. Juli 2016, Technische Universität Ilmenau
Am 1. Juli 2016 veranstalten wir an der Fakultät für Informatik und Automatisierung der Technischen Universität Ilmenau ein wissenschaftliches Treffen zur Feier des 60. Geburtstages unseres Kollegen und Freundes Martin Dietzfelbinger. Die wissenschaftlichen Vorträge mit eingeladenen Vortragenden aus verschiedenen Bereichen der Theoretischen Informatik werden im Zusebau stattfinden.
Programm
Das Programm ist mitsamt einer Abstract-Sammlung als PDF hier erhältlich.| 14:00 — 14:05 | Begrüßung |
| 14:05 — 15:05 | Hannah Bast (Freiburg im Breisgau) Menschen fragen, Computer antworten |
| 15:15 — 16:15 | Andreas Goerdt (Chemnitz) Zufällige aussagenlogische Formeln – Effiziente Verifikationen ihrer Unlösbarkeit |
| 16:45 — 17:45 | Friedhelm Meyer auf der Heide (Paderborn) Kontinuierliche lokale Strategien für Roboterschwärme |
Veranstaltungsort: Zusebau, Raum 4005 (siehe Campusplan)
Der Tag soll ausklingen mit einem gemeinsamen Abendessen im Hotel Tanne.
Übernachtung
In den Hotels Tanne und Mara sind kleine Zimmerkontingente verfügbar (62 bzw. 60 Euro pro Nacht inklusive Frühstück). Anmeldeschluss hierfür war der 1. Juni 2016 - aber vielleicht haben Sie ja Glück. Bitte geben Sie bei der Reservierung die Reservierungsnummer 99914 bzw. 2016 0661 an. Beide Hotels sind etwa zwei Kilometer vom Campus der TU Ilmenau entfernt.Anfahrt
Siehe Anfahrtsplan auf den Seiten der TU Ilmenau. Von den Hotels zum Zusebau kann man in max. 30 Minuten zu Fuß laufen. Außerdem fahren Busse im 20-Minuten-Takt, bitte erkundigen Sie sich ggf. im Hotel nach der nächsten Haltestelle. Weitere Informationen finden Sie auch auf den Webseiten des Ilmenauer Nahverkehrs.Anmeldung
Aus Organisationsgründen bitten wir um eine frühzeitige Anmeldung an Dietrich Kuske. Dabei schreiben Sie uns bitte insbesondere, ob Sie am Abendessen teilnehmen möchten.| Martin Aumüller | Dietrich Kuske | Kai-Uwe Sattler |
|
IT University of Copenhagen TCS Section |
TU Ilmenau FG Automaten und Logik |
TU Ilmenau Fakultät für Informatik und Automatisierung |