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 Studer |
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_2165738.html.
Schedules and Rooms
|Evaluation type||continuous evaluation|
If you would like to attend the seminar and give a talk, please contact Thomas Studer (firstname.lastname@example.org) in the first week of the semester at the latest so that we can individually discuss possible topics and fix a date for your presentation.