DiDo Vortragsliste
Weiter unten befindet sich die Vortragsliste aus diesem Jahr, welche fortlaufend aktualisiert wird. Vorträge aus vergangenen Jahren und eine Gesamtübersicht sind auf den folgenden Unterseiten erreichbar:
2023
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 14.11.2023 | 14:15 | OH12 2.013 | Dominik Mäckel | LS14 / Rehof | MA Abschlussvortrag: Konfiguration und Parameteroptimierung eines Evolutionären Algorithmus für die Maschinenbelegungsplanung mittels kombinatorischer Logik |
| 26.09.2023 | 14:15 | Telekonferenz – Daten auf Anfrage | Frederic Arnold | LS14 / Rehof | BA Abschlussvortrag: Analysewerkzeuge für Verifikationszeiten von Projekten in einem Beweisassistenten |
| 19.09.2023 | 14:15 | OH12 2.013 | Jennifer Schmidt | LS14 / Rehof | BA Abschlussvortrag: Ableitungsmechanismen für Faltungen und Entfaltungen von Datentypen mittels generischer Programmierung |
| 15.08.2023 | 14:15 | Telekonferenz – Daten auf Anfrage | Omar Silva | LS14 / Rehof | MA Abschlussvortrag: Extending the Python Type System with Intersection Types |
| 15.06.2023 | 12:30 | OH12 2.013 | Lena von der Krone | LS14 / Howar | BA Abschlussvortrag: Evaluation von Projektmanagementvorgehen für Softwareprojekte mit Entwicklern in Teilzeit |
| 15.06.2023 | 13:15 | OH12 2.013 | Jana Dahlmann | LS14 / Howar | BA Einführungsvortrag: Entwicklung und Evaluation von API's zur Integration von gängigen Projektmanagementplattformen am Beispiel der Building Information Cloud |
| 13.06.2023 | 14:15 | OH12 2.013 | Nicolas Lenz | LS14 / Rehof | Studienarbeit Abschlussvortrag: A First-Order Unification Framework for Scala 3 |
| 25.05.2023 | 12:30 | OH12 2.013 | Marc Schneider | LS14 / Howar | MA Einführungsvortrag: Design und Implementierung einer DSL zur vereinfachten Szenarioerstellung in Simulationen |
| 25.05.2023 | 13:15 | OH12 2.013 | Mathias Schulte | LS14 / Howar | BA Einführungsvortrag: Comparative Analysis of Verification Properties in Rust and C: Ensuring Memory, Thread, and Numeric Safety |
| 04.05.2023 | 12:30 | OH12 2.013 | Luca Gnoth | LS14 / Howar | BA Abschlussvortrag: Design und Evaluierung eines algorithmischen Ansatzes zur Entscheidungsunterstützung bei der kriteriengestützten Auswahl von Lagertechniken in der Intralogistikplanung |
| 04.05.2023 | 13:15 | OH12 2.013 | Alex Tinis | LS14 / Howar | MA Einführungsvortrag: Entwicklung eines Prototypen zur automatisierten Verarbeitung von Bautagesberichten mittels OCR |
| 02.05.2023 | 14:15 | OH12 2.013 | Jannik Löhn | LS14 / Rehof | BA Abschlussvortrag: Static Termination Checking for GHC Core |
| 20.04.2023 | 13:15 | OH12 2.013 | Maurice Weitner | LS14 / Howar | BA Abschlussvortrag: Entwicklung einer domänenspezifischen Modellierungsumgebung für NAOqi-Dialoge mit Jetbrains MPS |
| 13.04.2023 | 12:30 | OH12 2.013 | Lisa Böse | LS14 / Howar | BA Abschlussvortrag: Aspektoriertierte Programmierung mit dem polyglotten Instrumentierungswerkzeug GraalVM Insight |
| 04.04.2023 | 14:14 | OH12 2.013 | Jennifer Schmidt | LS14 / Rehof | BA Einführungsvortrag: Ableitungsmechanismen für Faltungen und Entfaltungen von Datentypen mittels generischer Programmierung |
| 30.03.2023 | 12:30 | OH12 2.013 | Fynn Metzlaff | LS14 / Howar | BA Einführungsvortrag: Szenario-basierte Auswertung von formalisierten Verkehrsregeln für Autobahnverkehr mit dem STAS Framework |
| 23.03.2023 | 13:15 | OH12 2.013 | Tim Dahlmanns | LS14 / Howar | MA Abschlussvortrag: Betriebskonzept und Umsetzung in Kubernetes für die Migration eines Monolithen hin zu Microservices im Kontext des Industrie 4.0 Recht-Testbeds |
| 16.03.2023 | 12:30 | OH12 2.013 | Nick Pawlinorz | LS14 / Howar | BA Einführungsvortrag: Extraktion von formal analysierbaren Fahrdaten aus Computerspielen am Beispiel von GTA 5 |
| 16.03.2023 | 13:15 | OH12 2.013 | Hristo Zhelev | LS14 / Howar | BA Einführungsvortrag: Development of PipeLYnt, a static analysis tool for syntax-testing YAML CI/CD scripts |
| 09.03.2023 | 12:30 | OH12 2.013 | Opeyemi Emmanuel Ayodele | LS14 / Howar | MA Einführungsvortrag: Formal Verification of a Hydrogen Generation System by Model Checking |
| 09.03.2023 | 13:15 | OH12 2.013 | Niklas Rapp | LS14 / Howar | MA Abschlussvortrag: Tracing von reaktiven Applikationen am Beispiel von Spring Webflux |
| 23.02.2023 | 12:30 | OH12 2.013 | Krassy Boykinov | LS14 / Howar | BA Einführungsvortrag: Applied Orienteering Problem: Optimizing Bike Routing Results Towards Interesting Points of Interest and Pleasant Routes |
| 21.02.2023 | 14:15 | OH12 2.013 | Timo Wilkop | LS14 / Rehof | BA Abschlussvortrag: Automatisierte Exploration und Kategorisierung von industriellen Dienstleistungen im Maschinen- und Anlagenbau |
| 16.02.2023 | 12:30 | OH12 2.013 | Florentin Möller | LS14 / Howar | BA Abschlussvortrag: Generierung eines Master-Detail Web-Views mit CRUD Operationen aus der OpenAPI Spezifikation eines Dataspace Connectors |
| 13.02.2023 | 11:45 | OH12 2.013 | Tim Seidelmann | LS 14 / Wiederkehr | BA Abschlussvortrag: Entwicklung und Implementierung einer Methode zur Ermittlung eines Beschleunigungsmodells für 5-Achs CNC-Bearbeitungszentren |
| 13.02.2023 | 12:15 | OH12 2.013 | Sebastian Kons | LS 14 / Wiederkehr | MA Einführungsvortrag: Verbesserung der Segmentierung von Bildern von Schleif- und Bohrwerkzeugen durch Verwendung mittels probabilistischer Diffusionsmodelle generierter Trainingsdaten |
| 07.02.2023 | 14:15 | OH12 2.013 | Frederic Arnold | LS14 / Rehof | BA Einführungsvortrag: Analysewerkzeuge für Verifikationszeiten von Projekten in einem Beweisassistenten |
| 24.01.2023 | 14:15 | Telekonferenz – Daten auf Anfrage | Jan van der Horst | LS 14 / Rehof | BA Abschlussvortrag: Konzeption und Implementierung eines Webcrawlers zum Auffinden und Kategorisieren von Daten zu industriellen Services im Maschinen- und Anlagenbau |
| 24.01.2023 | 14:15 | Telekonferenz – Daten auf Anfrage | Omar Silva | LS 14 / Rehof | MA Einführungsvortrag: Extending the Python Type System with Intersection Types |
| 19.01.2023 | 12:30 | OH12 2.013 | Jan Berens | LS14 / Howar | BA Abschlussvortrag: Einrichtung einer virtuellen Fahrumgebung zur Simulation von Fahrprüfungen |
| 12.01.2023 | 12:30 | OH12 2.013 | Carlo Wagner | LS14 / Howar | BA Einführungsvortrag: Evaluation des Bilderkennungs-Services "AWS Rekognition" zur Analyse von Grundrissen in der Bauwirtschaft |
| 12.01.2023 | 13:15 | OH12 2.013 | Sven Deichsel | LS14 / Howar | MA Einführungsvortrag: Iterative Generierung von kompositionalen Single Page Applikationen unter Berücksichtigung des Routings für das React Framework |