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.