• Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks
  • More
    • Home
    • Research
    • People
    • Short CV
    • Grants
    • Teaching
    • Talks
  • Home
  • Research
  • People
  • Short CV
  • Grants
  • Teaching
  • Talks

Proof Theory II (Winter 2026, TU Wien)

Time: Tuesdays, 10am (academic time, i.e., really 10:15).
Place: TU Wien, Freihaus. Seminar Room Green 06A. 

Course contents

  • October 6th. Introduction.
  • October 13th.
  • October 20th.
  • October 27th.
  • November 2nd.
  • November 9th.
  • November 16th. No lecture.
  • November 24th.
  • December 1st.
  • December 8th. No lecture.
  • December 15th.
  • December 22nd.
  • January 12th.
  • January 19th. 
  • January 26th.

References

TBA.

Further reading

TBA.

© 2019–2026 All rights reserved. Portraits are © Antonio Chorbadzhiyski and © Ulrich Zinell. The LC2025 owl is © Amelie Wehr.

Cookie Policy

This website uses cookies. By continuing to use this site, you accept our use of cookies.

DeclineAccept & Close