Logic and Theoretical Computer Science (LTCS)
- Thursday from 13:30 to 15:00
Students as well as members of the Logic and Theory Research Group (LTG) present their current work. The main topics are: explicit mathematics and operational set theory, subsystems of second order arithmetic and set theory, systems of bounded arithmetic and bounded set theory, modal logics.
A general platform for students interested in theoretical computer science, logic, and the foundations of mathematics.
Lectures take place according to separate announcement on this page.
- 23.02, 13:30 - 15:00, Room A097, ExWi : J. Duparc : Some remarks on Baire’s grand theorem (Abstract)
- 02.03, 10:15 - 12:00, Room 105, Main Bulding B. Afshari : Cut-free completeness for modal mu-calculus (Abstract)
- 02.03, 13:30 - 15:00, Venue will be announced G. Leigh : Conservativity and cut-elimination for compositional truth (Abstract)
Suitable for students interested in the foundations of mathematics, logic, and theoretical computer science.
Basic knowledge in mathematical logic and/or theoretical computer science.
To be announced in the course of the seminar.