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 |
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_1841397.html.
Schedules and Rooms
|Schedule||Thursday, 10:15 - 12:00|
|Evaluation type||continuous evaluation|