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.
A general platform for students interested in theoretical computer science, logic, and the foundations of mathematics.
T4 – Logic |
Students are able to give a coherent talk about your ongoing research activities and to present your work to an interested audience.
Thomas Strahm |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1531302.html.
Schedules and Rooms
|Evaluation type||continuous evaluation|