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.
Schedules and Rooms
|Thursday, 10:15 - 12:00
The first lecture will take place on Thursday, 22.02.2024 at 10:15 in UniBE, ExWi, room A097.