06.03.2020 14:15 - Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space
Florian Wörz gives a talk about his paper accepted for STACS 2020 in Montpellier.
Institut für Theoretische Informatik
Geplante Hochschulprüfungen sind bis bis auf weiteres abgesagt, Informationen zu den Prüfungen werden über das Prüfungsplanungssystem PPS bereitgestellt.
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. Zusätzlich werden alle Vorträge über die komplex - Mailingliste angekündigt.
06.03.2020 13:30 - Vortrag Projekt Algorithm Engineering
Trie Tunneling
14.02.2020 13:30 - Verschlüsselung von Datensätzen in der Verwaltungssoftware APS mit gesonderten Zugriffsberechtigungen – eine Analyse und Implementierung
28.01. 13:30 - Vorträge Projekt Algorithm Engineering
Kantenminimierung in de Bruijn Graphen sowie Runminimierung in einer Multi-String BWT
29.11. 13:30 - Vortrag "On the computation of longest previous non-overlapping factors"
22.11. 14:00 - Abschlussarbeitsvortrag: "Relation between treelike resolution space and practical hardness for SAT formulas"
Relation between treelike resolution space and practical hardness for SAT formulas
15.11. 13:30 - Abschlussvortrag: "Analysis and implementation of stategies and algorithms to win mancala games"
Analysis and implementation of stategies and algorithms to win mancala games.
06.11. 15:00 - Abschlussarbeitsvortrag "Luby Sequenzen"
Luby Sequenzen.
30.10. 15:00 - A Probabilistic Divide and Conquer Algorithm for the Minimum Tollbooth Problem
Vortrag "A Probabilistic Divide and Conquer Algorithm for the Minimum Tollbooth Problem" gehalten von Julian Nickerl.
25.10. 14:00 - Abschlussarbeitsvortrag "Algorithmic Applications of the Lovász Local Lemma"
Algorithmic Applications of the Lovász Local Lemma.
Geplante Hochschulprüfungen sind bis bis auf weiteres abgesagt, Informationen zu den Prüfungen werden über das Prüfungsplanungssystem PPS bereitgestellt. Diese werden - sobald möglich - aktualisiert.
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