Zum Inhalt

Bachelor- und Masterseminar

Das Bachelor- und Masterseminar findet bis auf weiteres online statt.

Allgemeines

Veranstalter Lehrstuhl Informatik I - Logik in der Informatik
Ort Otto-Hahn-Str. 12 / Raum 3.031 bzw. Zoom-Meeting
Zeit Montags, 16:15 Uhr

Aktuelle Termine im Wintersemester 2022/2023

Datum Vortragende/r Titel des Vortrags Art des Vortrags
17.10.2022 Cedric Siems Grammatiken für Abschnittsanfragen Bachelor-Abschlussvortrag
  Steffen Mergenschröer Effiziente Algorithmen für den direkten Zugriff auf beliebige Tupel in der sortierten Ausgabe von Und-Anfragen Bachelor-Abschlussvortrag
24.10.2022 Ziad Maika Default-logische Semantiken für DeLP Bachelor-Abschlussvortrag
  Lukas Pradel Dichte regulärer Sprachen und Approximation mit regulären Sprachen Bachelor-Abschlussvortrag
19.12.2022 Joachim Krallmann Floyd-Grammatiken: eine effiziente Klasse kontextfreier Grammatiken Bachelor-Einstiegsvortrag
  Daniel Alexander Spenner Dekomposition endlicher Automaten Bachelor-Einstiegsvortrag
  Leon Motzet Grundlagen für eine Komplexitätstheorie dynamischer Probleme Master-Einstiegsvortrag

Anfahrt & Lageplan

Der Campus der Technischen Universität Dortmund liegt in der Nähe des Autobahnkreuzes Dortmund West, wo die Sauerlandlinie A45 den Ruhrschnellweg B1/A40 kreuzt. Die Abfahrt Dortmund-Eichlinghofen auf der A45 führt zum Campus Süd, die Abfahrt Dortmund-Dorstfeld auf der A40 zum Campus-Nord. An beiden Ausfahrten ist die Universität ausgeschildert.

Direkt auf dem Campus Nord befindet sich die S-Bahn-Station „Dortmund Universität“. Von dort fährt die S-Bahn-Linie S1 im 15- oder 30-Minuten-Takt zum Hauptbahnhof Dortmund und in der Gegenrichtung zum Hauptbahnhof Düsseldorf über Bochum, Essen und Duisburg. Außerdem ist die Universität mit den Buslinien 445, 447 und 462 zu erreichen. Eine Fahrplanauskunft findet sich auf der Homepage des Verkehrsverbundes Rhein-Ruhr, außerdem bieten die DSW21 einen interaktiven Liniennetzplan an.
 

Zu den Wahrzeichen der TU Dortmund gehört die H-Bahn. Linie 1 verkehrt im 10-Minuten-Takt zwischen Dortmund Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück.

Vom Flughafen Dortmund aus gelangt man mit dem AirportExpress innerhalb von gut 20 Minuten zum Dortmunder Hauptbahnhof und von dort mit der S-Bahn zur Universität. Ein größeres Angebot an internationalen Flugverbindungen bietet der etwa 60 Kilometer entfernte Flughafen Düsseldorf, der direkt mit der S-Bahn vom Bahnhof der Universität zu erreichen ist.