Anfahrt & Lageplan

Mit dem Auto

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.

Mit Bus und Bahn

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.

Die H-Bahn

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.

Mit dem Flugzeug

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.

ServicePortal UniMail

Kontrast English

Anfahrt & Lageplan

Mit dem Auto

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.

Mit Bus und Bahn

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.

Die H-Bahn

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.

Mit dem Flugzeug

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.

ServicePortal UniMail

Bachelor- und Masterseminar

Das Bachelor- und Masterseminar findet in Präsenz 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

Termine im Wintersemester 2025/2026

Datum	Vortragende/r	Titel des Vortrags	Art des Vortrags
12.01.2025	Marcel Schäper (online via Zoom)	Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines	Bachelor-Einführungsvortrag
15.12.2025	Makhabbat Kazhybayeva Justus Nelson	Efficient Translations of Regular Expressions into Nondeterministic Finite Automata Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten	Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag
08.12.2025	Kevin Kliche Hendrik Ahrens Lisa Henneberg	Minimierung von deterministischen und good-for-games Omega-Automaten Edit-Distanz von regulären und kontextfreien Sprachen Lösen von Allgemeinen Annahmen-basierten Argumentationsformalismen via QBF	Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag Master-Einführungsvortrag
24.11.2025	Michael Siebert	Optimale Separierung durch Beschreibungslogik-Konzepte	Bachelor-Einführungsvortrag
10.11.2025	Yannick Wehner Minh Anh Nguyen	Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln Charakterisierung von effizienter Lernbarkeit in unendlichen Konzeptklassen	Bachelor-Einführungsvortrag Bachelor-Einführungsvortrag
03.11.2025	Franz Nentwich (online via Zoom)	Komplexitätsuntersuchungen zur Implementation von c-Repräsentationen und c-Inferenz mit Hilfe von SMT	Master-Abschlussvortrag
27.10.2025	Alexander Joerges	Aussagenlogische Kodierung von Kardinalitätsconstraints	Bachelor-Einführungsvortrag
20.10.2025	Andreas Kovalski Johann Osing Simon Buschmann	A Comparison of Proof Systems for the Description Logic EL Das längste gemeinsame Präfix einer kontextfreien Sprache Aufzählung regulärer Sprachen mit beschränkter Verzögerung	Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag Bachelor-Abschlussvortrag