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.
20.04.2023 14:00 Tolga Eskin "Implementation of a scalable approximate model counter"
12.04.2023 12:30 Prof. Dr. Nicola Galesi, Universita di Roma la Sapienza "The space complexity of cutting planes refutations"
03.03.2023 13:00 Tom Krüger "Quantum (Classical) Merlin-Arthur: A Window Into Quantum Complexity"
03.02.2023 13:30 Sven Köhle "Realistische Versionen des Matching-Markets-Problems"
09.12.2022 13:30 Simon Schall "Function Problems and the Complexity Class ’Polynomial Parity Argument on Directed Graphs"
11.11.2022 13:30 Leonardowitsch Auterhoff "Vergleich und Implementierung zweier Algorithmen zum Berechnen der Heaviest Increasing Sequence"
11.10.2022 10:30 Uhr Prof. Dr. Thomas Thierauf, Hochschule Aalen "Lower bounds for constant depth circuits"
23.09.2022 13:30 Benjamin Schlechter "Metropolis Hastings algorithm applied to runtime distribution tails of ProbSAT"
21.07.2022 10:00 Uhr Raum 545/O27 Dr. Nikhil Balaji "Testing equality of compressed strings efficiently in parallel randomized time"
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
- Algorithmische Spieltheorie: 17.07.2024 ab 10:00 Uhr in O27/123 und 25.09.2024 ab 10:00 Uhr in O27/123
- Datenkompression: 23.07.2024 ab 12:00 Uhr in H1 und 30.09.2024 ab 10:00 Uhr in H1
- Kryptologie: 24.07.2024 ab 12:30 Uhr in H3 und 02.10.2024 ab 10:00 Uhr in O27/2203
- Prüfungsanmeldungen haben bei schriftlichen Prüfungen bis spätestens fünf Tage vor Prüfungsdatum zu erfolgen (z.B. Prüfungsdatum 20.02., letzte Anmeldemöglichkeit: 15.02. um 23:59)
- Sollte es Ihnen nicht möglich sein, sich fristgerecht im Hochschulportal anzumelden, wenden Sie sich bitte per E-Mail an das zuständige Studiensekretariat.
- Verspätete Anmeldungen sind nicht möglich.
- Von Klausuren, zu denen Sie sich angemeldet haben, können Sie sich bis einen Tag vor Prüfung wieder abmelden. Wenn die Prüfung z.B. am 20.02. stattfindet, ist eine Abmeldung bis 19.02. um 23:59 Uhr möglich.
- Ist eine Abmeldung nicht mehr möglich, kann der Rücktritt von der angemeldeten Prüfung aus wichtigem Grund erklärt werden. Der Rücktritt muss am Tag der Prüfung der Prüferin/dem Prüfer und dem Studiensekretariat gegenüber angezeigt werden. Rücktrittsgründe (z.B. ärztliches Attest) müssen unverzüglich spätestens innerhalb von 5 Tagen dem Studiensekretariat gegenüber nachgewiesen werden.