06.11. 15:00 - Abschlussarbeitsvortrag "Luby Sequenzen"
Luby Sequenzen.
Institut für Theoretische Informatik
Willkommen auf der Webseite des Instituts für theoretische Informatik. Unser Institut befasst sich mit den theoretischen Grundlagen der Informatik, dabei stehen hauptsächlich die folgenden Themen im Vordergrund:
- Berechenbarkeit und Komplexitätstheorie
- Graphentheorie
- Algorithmik und Datenstrukturen
- Logik, speziell SAT-Solving
- Sequenzanalyse und Datenkompression
- Bioinformatik
- Quantum Computing
- Kryptologie
Neben diesen Schwerpunkten sind wir natürlich auch an anderen Aspekten der theoretischen Informatik interessiert. Einen ersten Eindruck des Instituts kann man anhand des Institutsposters oder der nebenstehenden Gallerie gewinnen - unsere Forschung in Bildern.
Vorträge
Nachfolgend sind vergangene und anstehende Vorträge aufgelistet. Sofern nicht anderst angegeben finden die Vorträge im Raum O27/531 statt.
25.10. 14:00 - Abschlussarbeitsvortrag "Algorithmic Applications of the Lovász Local Lemma"
Algorithmic Applications of the Lovász Local Lemma.
25.10. 13:30 - Bachelorarbeitsvortrag "Performance Guarantee for Approximate Graph Coloring Algorithms"
Performance Guarantee for Approximate Graph Coloring Algorithms.
18.10. 14:15 - Masterarbeitsvortrag "Read Mapping auf Pangenomen mit approximativer BWT-Rückwärtssuche"
Read Mapping auf Pangenomen mit approximativer BWT-Rückwärtssuche.
11.10. 13:30 - Masterarbeitsvortrag "Cops and Robber games on graphs and treewidth"
Cops and Robber games on graphs and treewidth.
18.10. 13:30 - Masterarbeitsvortrag "Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform"
Algorithmen für das Äquivalenzproblem monotoner boolescher Formeln in Normalform.
02.08. 14:40 - Bachelorarbeitsvortrag "Getunnelte komprimierte DeBruijn - Graphen"
Getunnelte komprimierte DeBruijn - Graphen.
02.08. 14:05 - Bachelorarbeitsvortrag "Patternsuche in einer getunnelten Burrows-Wheeler-Transformation"
Patternsuche in einer getunnelten Burrows-Wheeler-Transformation
02.08. 13:30 - Bachelorarbeitsvortrag "Implementierung und Analyse eines Algorithmus zur Berechnung aller kürzesten eindeutigen Teilstrings"
Implementierung und Analyse eines Algorithmus zur Berechnung aller kürzesten eindeutigen Teilstrings.
25.7. 15:00 - Algebraic algorithms for special submodular function minimization
Vortrag "Algebraic algorithms for special submodular
function minimization" gehalten von Herr Prof. Dr. Rohit Gurjar
Kontakt
Institut für Theoretische Informatik
Universität Ulm
D-89069 Ulm
Telefon: +49 (0)731 50 24101
Telefax: +49 (0)731 50 1224101
Sekretariat
Raum: O27/537
Klausurtermine für das Sommersemester 2026
Ersttermine:
Algorithmische Spieltheorie
Mittwoch, 15.07.2026 ab 10 Uhr O27/123
Algorithmen zur Sequenzanalyse
Mittwoch, 22.07.2026 ab 10 Uhr H21
Datenkompression
Freitag, 24.07.2026 ab 9 Uhr H21
Zweittermine:
Algorithmische Spieltheorie
Mittwoch, 30.09.2026 ab 10 Uhr O27/123
Datenkompression
Montag, 05.10.2026 ab 10 Uhr H21
Bitte melden Sie sich rechtzeitig zur Prüfung an. Die Anmeldung muss spätestens 4 Tage vor der Prüfung über das Hochschulportal erfolgt sein. Findet die Prüfung beispielsweise am 15.7. statt, ist die Anmeldung bis spätestens am 10.7. um 23:59 Uhr möglich. Bitte kontrollieren Sie unbedingt über die “Bescheinigung über die angemeldeten Prüfungen”, ob die Anmeldung erfolgreich war und drucken Sie sich diese Bescheinigung aus oder speichern Sie sie ab. Nur mit einer solchen Bescheinigung haben Sie einen Nachweis über die Anmeldung zur Prüfung!
Sollten Sie sich nicht zur Prüfung anmelden können, senden Sie bitte eine E-Mail an das für Sie zuständige Studiensekretariat, die genannte Anmeldefrist ist auch hier zu beachten.
Bitte erscheinen Sie am Prüfungstag pünktlich und bringen Ihren Studierendenausweis sowie ein Ausweisdokument mit Lichtbild mit.