29. Theorietag: Automaten und Formale Sprachen

Bremen, 25–27. September 2019

Organisation: Sebastian Maneth

Der 29. Theorietag der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik findet vom 25–27. September 2019 an der Universität Bremen statt.

Termine

Anmeldung	bis 18.09.2019 möglich!
Kurzfassungen und Vortragsankündigungen	bis 31.08.2019
Vorreservierte Zimmer buchen (7THINGS & Atlantic)	bis 31.07.2019

NEW: Workshop Proceedings

Programm (grob)

25.09. ab 18 Uhr: Rezeption im MZH1470. Für ein kaltes Buffet wird gesorgt. Getränke bitte vor Ort selber abrechnen.
26.09. 9–17 Uhr: Vorträge Theorietag
26.09. 17–18 Uhr: GI Gruppentreffen
26.09. ab 19 Uhr: Kegeln (mit Essensmöglichkeit) im Goedekens
27.09. 9–13 Uhr: Vorträge Theorietag

Eingeladene Vorträge

Das übergeordnete Thema der eingeladenen Vorträge des diesjährigen Theorietages ist Datenbanktheorie.
Folgende Wissenschaftler haben zu eingeladenen Vorträgen zugesagt:

Mikołaj Bojańczik (University of Warsaw)

Wim Martens (Universität Bayreuth)

Thomas Schwentick (TU Dortmund)

Einreichungen und Tagungsband

Ein Tagungsband mit Kurzfassungen der Vorträge wird als PDF zum runterladen bereitgestellt.
Beim Erstellen bitte die Latex Vorlage benutzen.
Kurzfassungen (bis zu 4 Seiten) bitte bis 31.08.2019 an tt2019@uni-bremen.de

Unterkunft

Bitte selbstverantwortlich buchen.
Hier ist eine Liste von Hotels, die gut in Frage kommen:

Hotel	Addresse	Telephon	Preise	Entfernung Cartesium	Kommentare
Hotel 7Things	Universitätsallee 4, 28359 Bremen	+49 421/69677377	ab 68.5€ inkl. Frühstück	5 Minuten zu Fuß	Stichwort "AG Datenbanken 2019" angeben. Buchung per email: `info@7things.de`
Hotel Munte am Stadtwald	Parkallee 299, 28213 Bremen	+49 421/22020	ab 99€ inkl. Frühstück	7 Minuten zu Fuß
Atlantic Hotel Universum	Wiener Str. 4, 28359 Bremen	+49 421/944 888 535	ab 74€ + 9€ Frühstück (Doppelz.: 95€)	7 Minuten zu Fuß	Stichwort "ABK Veranstaltung AG Datenbanken 2019" angeben. Buchung per email: `reservierung.ahu@atlantic-hotels.de`
Hotel Heinisch	Wachmannstraße 26, 28209 Bremen	+49 421/342925	ab 42€ inkl. Frühstück	12 Minuten tram 6 Brahmsstraße
Prizeotel Bremen-City	Theodor-Heuss-Allee 12, 28215 Bremen	+49 421/59499401	ab 59€ + 11€ Frühstück	19 Minuten tram 6 Blumenthalstraße
B&B Hotel Bremen-Hbf	Findorffstraße 28-32, 28215 Bremen	+49 421/619580	ab 54€ + 8.5€ Frühstück	24 Minuten tram 6 Blumenthalstraße
A&O Bremen Hauptbahnhof	Friedrich-Rauers-Straße 20a, 28195 Bremen	+49 421/9896720000	Versch. Preise	26 Minuten tram 6 Hauptbahnhof
Hotel Buthmann	Löningstraße 29, 28195 Bremen	+49 421/2238057	ab 45€ + 8.5€ Frühstück	22 Minuten tram 6 Hauptbahnhof
Ibis Bremen City	Rembertiring 51, 28203 Bremen	+49 421/36970	ab 55€ ohne Frühstück	25 Minuten tram 6 Hauptbahnhof
Novum Hotel Bremer Haus Bremen	Löningstraße 16-20, 28195 Bremen	+49 421/32940	ab 73€ + 10.9€ Frühstück (online booking)	22 Minuten tram 6 Hauptbahnhof

Wichtig:

Im Hotel 7THINGS haben wir 20 Einzelzimmer vorgebucht; diese sind bis zum 31.07.2019 reserviert.
Im Hotel Atlantic Universum haben wir 15 Einzelzimmer und 5 Doppelzimmer vorgebucht; diese sind bis zum 31.07.2019 reserviert.
Bitte rechtzeitig buchen!!

Anmeldung / Registration

The registration fee is 15 Euros
Please pay the fee in cash on your first day of the meeting.
Please register by 18.09.2019 using this form.
Send the filled form either by email to tt2019@uni-bremen.de or by postal mail to

Prof. Dr. Sebastian Maneth
Universität Bremen
FB3 - Informatik
P.O. Box 330 440
28334 Bremen

Anfahrt

Die Vorträge werden in dem Gebäude "Cartesium" auf dem Campus der Uni Bremen stattfinden.
Der Vortragsraum heißt "Rotunde" und befindet sich im Erdgeschoss direkt hinter dem Eingang in das Gebäude.
Lageplan Uni Bremen

Der Theorietag wird unterstützt durch die Gesellschaft für Informatik, und die Universität Bremen.

GI-logo UniBremen-logo