Zum Navigationspfad Unterseiten von „Forschung“ Zur Navigation Zum Schnellzugriff Zum Fuß der Seite mit weiteren Services
Zum Inhalt
Headrbild mit Netzstruktur auf grauem Hintergrund © Pixabay
Forschung

Kolloquium und weitere Vorträge

Das Kolloquium der Fakultät für Informatik ist eine der zentralen Plattformen für den wissenschaftlichen, mitunter interdisziplinären, Austausch. Sowohl eingeladene auswärtige Forschende als auch Wissenschaftlerinnen und Wissenschaftler der Fakultät stellen hier über die Grenzen einzelner Arbeitsgruppen hinweg ihre aktuellen Forschungsarbeiten und -projekte vor. 
Darüber hinaus werden auch Vorträge des Lamarr Institute for Machine Learning and Artificial Intelligence sowie des Research Center Trustworthy Data Science and Security aufgeführt.

Daneben finden Sie hier die Ankündigungen der Vorträge von Bachelor- und Masterkandidat:innen.

 

 

Bachelor- und Master-Vorträge

 

Montag, 23.03.2026, 15:00-15:30 Uhr, Raum OH16/205
Ahmed Eldesouki
Kombination von Failover-Routing-Mechanismen für spärliche und dichte Netzwerke
Betreuer: Prof. Dr. Förster
Bachelor-Einführungsvortrag
 

Montag, 30.03.2026, 16:15-16:45 Uhr, OH12/3.031
Alexander Joerges
Aussagenlogische Kodierung von Kardinalitätsconstraints
Betreuer: Prof. Dr. Jung
Bachelor-Abschlussvortrag
 

Montag, 30.03.2026, 16:45-17:15 Uhr, OH12/3.031
Minh Anh Nguyen
Charakterisierung effizienter exakter Lernbarkeit und eine Anwendung auf reguläre Sprachen
Betreuer: Prof. Dr. Jung
Bachelor-Abschlussvortrag


Montag, 13.04.2026, 16:15-16:45 Uhr, OH12/3.031
Yannick Wehner
Charakterisierung von effizienter Lernbarkeit und Anwendung auf Klassen von aussagenlogischen Formeln
Betreuer: Prof. Dr. Jung
Bachelor-Abschlussvortrag
 

Montag, 13.04.2026, 16:45-17:15 Uhr, OH12/3.013
Andrea Heinle
Einsatz von Iltis in der Logik-Programmierung
Betreuer: Prof. Dr. Jung
Bachelor-Einführungsvortrag
 

Montag, 13.04.2026, 14:15-14:45 Uhr, OH16/205
Alexander Wrede
Eine Python-Bibliothek für Max-Plus-Matrizen
Betreuer: Prof. Dr. Buchholz
Bachelor-Einführungsvortrag
 

Dienstag, 14.04.2026, 16:15-16:45 Uhr, via Zoom
Marcel Schäper
Vergleich von regelbasierten Systemen für die Rechnungsprüfung ASP vs Rule Engines
Betreuer: Prof. Dr. Kern-Isberner
Bachelor-Abschlussvortrag
 

Montag, 20.04.2026, 14:15-14:45 Uhr, Raum OH16/205
Nils Thesing
Wegfindung in löcherhaften Amoetbot – Strukturen
Betreuer: Prof. Dr. Förster
Bachelor-Einführungsvortrag
 

Dienstag, 21.04.2026, 16:15-16:45 Uhr, OH12/3.031
Efficient Translations of Regular Expressions into Nondeterministic Finite Automata
Makhabbat Kazhybayeva
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
 

Dienstag, 21.04.2026, 16:45-17:15 Uhr, OH12/3.031
Minimierung von deterministischen und good-for-games Omega-Automaten
Kevin Kliche 
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
 

Dienstag, 28.04.2026, 16:15-16:45, OH12/3.031
Aufzählung von Anfrageergebnissen auf SLP-komprimierten Dokumenten
Justus Nelson
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag
 

Dienstag, 28.04.2026, 16:45-17:15, OH12/3.031
Edit-Distanz von regulären und kontextfreien Sprachen
Hendrik Ahrens
Betreuer: Prof. Schwentick
Bachelor-Abschlussvortrag

 

 

 

 

 

 

 

 

Zum Archiv