Institute for Discrete Mathematics and Geometry

Planned courses in Mathematical Logic

+related fields (theoretical computer science, abstract algebra)

FB1, FB2, FB8

Academic year 2026/27

Every Semester

Computational Logic Seminar SE

Projekt mit Bachelorarbeit SE

Seminar mit Seminararbeit SE

Lecturers: Juan Aguilera, Ekaterina Fokina, Stefan Hetzl

Wednesday 10:00 Zeichensaal 1
3 SE
www TISS

AKALG Forschungsseminar SE

Projekt mit Bachelorarbeit SE

Seminar mit Seminararbeit SE

Lecturers: Behrisch, Dorfer, Goldstern, Holy, Kellner, Müller, Pinsker

Friday 10:15 FH4
2 SE
www TISS

Winter semester 2026/27

Logik und Grundlagen der Mathematik VO+UE

Lecturers: Martin Goldstern, Jakob Kellner

VO: Tue 11-13, Thu 15-16, UE: Thu 9-10 / 10-11 VO: FH7, FH2, Hörsaal 15, UE: Zeichensaal 3, FH4
3 VO + 1 UE TISS

Areas of Mathematical Logic VO+UE

Lecturers: Juan Aguilera, Ekaterina Fokina, Stefan Hetzl, Sandra Müller, Michael Pinsker

VO: Wed 12-15, UE: Tue 15-16 VO: Sem.-R. DA grün 06A, UE: Sem.-R. DA grün 05
3 VO + 1 UE TISS

Proof Theory 2 VO+UE

Lecturer: Juan Aguilera
Requirements: Proof theory

VO: Tue 10-12 Sem.R. DA grün 06A
2 VO + 1 UE TISS

Topics in Computability Theory VO+UE

Lecturer: Dino Rossegger
Requirements: Computability theory

VO: Mo 14-16 Dissertantenraum
2 VO + 1 UE TISS

Forcing VO+UE

Lecturer: Jakob Kellner
Requirements: Set theory
Preliminary Meeting: Thu, Oct 8th, 11-12, Sem.R. DA grün 05

VO: Tue 10-12, UE: Tue 14-15 Sem.R. DB gelb 09
2 VO + 1 UE TISS

AKLOG Innere Modelltheorie Determiniertheit und Pmax SE

Lecturers: Sandra Müller, Andreas Lietz
Requirements: Set theory, Forcing

Wed 15-17 FH7
2 SE TISS

AKALG Algorithmic techniques in Constraint Satisfaction SE

Lecturer: Michael Pinsker
Requirements: Theoretical Informatics

Fr 13-15 Seminarraum 107/1 (Goldenes Lamm)
2 SE TISS

Algebra 2 VO+UE

Lecturer: Peter Holy

Wed 15-17, Thu 16-18 Wed: Seminarraum 107/1, Thu: FH2
3 VO + 1 UE TISS

Group actions on hyperbolic spaces VU

Lecturer: Christopher Cashen

Fr 14-17 Sem.R. DA grün 06A
3 VU TISS

Summer semester 2027

Universal Algebra VO+UE

Lecturer: Žaneta Genčiová

VO: Tue 13-15, UE: Tue 15-16 to be announced
2 VO + 1 UE TISS (tba)

Set Theory VU

Lecturers: Sandra Müller, Andreas Lietz

to be announced to be announced
4 VU + 1 UE TISS

Model Theory VO+UE

Lecturers: Michael Pinsker

VO: Thu 13-15, UE: Thu 15-16 Zeichensaal 1
2 VO + 1 UE TISS (tba)

Computability Theory VO+UE

Lecturers: Ekaterina Fokina

to be announced to be announced
2 VO + 1 UE TISS (tba)

Proof Theory VO+UE

Lecturers: Stefan Hetzl

to be announced to be announced
2 VO + 1 UE TISS (tba)

Theoretical Informatics VO+UE

Lecturers: Ekaterina Fokina

to be announced to be announced
2 VO + 1 UE TISS (tba)

Descriptive Set Theory VO+UE

Lecturers: Stefan Hoffelner
Requirements: Set theory

to be announced to be announced
2 VO + 1 UE TISS (tba)

Iterated Forcing VO+UE

Lecturers: Jakob Kellner
Requirements: Forcing

to be announced to be announced
2 VO + 1 UE TISS (tba)

AKLOG Research Seminar Set Theory SE

Lecturers: Martin Goldstern, Jakob Kellner

Friday 10:15 FH4
2 VO + 1 UE TISS (tba)

Course dependencies

Structure of logic courses