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.


Code 41606
Type Seminar
Site Bern
Track(s) T4 – Theory and Logic
Semester S2025


Learning Outcomes

Students are able to give a coherent talk about your ongoing research activities and to present your work to an interested audience.

Lecturer(s) Thomas Studer
Language english
Course Page

The course page in ILIAS can be found at

Schedules and Rooms

Period Weekly
Schedule Thursday, 10:15 - 12:00
Location UniBE, ExWi


Evaluation type continuous evaluation

Additional information


First Lecture
The first lecture will be announced later.