Seminar Logic and Theoretical Computer Science
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.
T4 – Logic |
Schedules and Rooms
||Thursday, 10:15 - 12:00|
The first lecture will be announced later.