GRIPS: Theoretical Computer Science (Prof. Rümmer) | GRIPS

Main area Informatik und Data Science

Theoretical Computer Science (Prof. Rümmer)

List of courses in the range Theoretical Computer Science (Prof. Rümmer)

Seminar: Logik und Automaten (WiSe 25/26)

VL+Ü Theoretische Grundlagen der Informatik (WiSe 2025/26)

Softwarepraktikum: Formally Verified E-Voting (SoSe 2025)

VL+Ü Logic and Formal Methods (SoSe 2025)

VL+Ü Programmieren II (SoSe 2025)

VL+Ü Theoretische Grundlagen der Informatik (WS 2024/25)

VL+Ü Programmieren II (SS 2024)

GRIPS (v4.5.x) wird vom RZ der Universität Regensburg betrieben. | Datenschutz | Kontakt | Impressum