Computational Logic Seminar


General Information

This is the website of the research seminar of the Computational Logic Group at the Institute of Discrete Mathematics and Geometry of TU Wien. The seminar usually takes places on Wednesdays from 10:00 to 11:00 in the seminar room DC red 07. The seminar is organised by J. Aguilera, E. Fokina and S. Hetzl.

If you want to receive talk announcements by e-mail, please subscribe to the mailing list of this seminar on its administration page.

Preliminary Programme

Archive

Archive (summer term 2025)

Archive (winter term 2024/25)

Archive (summer term 2024)

Archive (winter term 2023/24)

Archive (summer term 2023)


Last Change: 2025-10-03, Stefan Hetzl.