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. Zusätzlich werden alle Vorträge über die komplex - Mailingliste angekündigt.

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

Sekretariat

Raum: O27/537

 

  • Algorithmische Spieltheorie am 20.07.20232 ab 10:00 Uhr in H 14
  • Berechenbarkeit und Komplexität am 08.08.2022 ab 12:00 Uhr in H 2,3,20,21,22
  • Kryptologie am 27.07.2022 ab 13:00 Uhr in H 22
  • Prüfungsanmeldungen haben bei schriftlichen Prüfungen bis spätestens vier Tage vor Prüfungsdatum zu erfolgen (z.B. Prüfungsdatum 20.07., letzte Anmeldemöglichkeit: 15.07.) Verspätete Anmeldungen sind nicht möglich.
  • Die Anmeldung erfolgt über das Hochschulportal, sollte die Anmeldung hier nicht möglich sein, wenden Sie sich fristgerecht (also spätestens vier Tage vor Prüfung) beim zuständigen Studiensekretariat.
  • Sollten Sie zur Prüfung angemeldet sein und können krankheitsbedingt nicht teilnehmen, füllen Sie bitte umgehend das Formular für die Bescheinigung der Prüfungsunfähigkeit ( https://www.uni-ulm.de/einrichtungen/saps/studiengaenge/pruefungsanmeldung/ ) aus und senden dies an die auf dem Formular angegebene Adresse.
  • Die Hörsaaleinteilungen werden spätestens einen Tag vor der Klausur vorgenommen und per Moodle bekannt gegeben.
  • Die Nachholtermine finden wie folgt statt: Algorithmische Spieltheorie am 27.09.2022 ab 10:00 Uhr in H 20, Berechenbarkeit und Komplexität am 04.10.2022 ab 12:00 Uhr in H 4/5, 20, 21,22, Kryptologie am 12.10.2022 ab 10:00 Uhr in H 12