Seminar Logic and Theoretical Computer Science

This teaching unit will be held in class, i.e. face to face.

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.


Code 41806
Type Seminar
Site Bern
Track(s) T4 – Logic
Semester A2020


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) George Metcalfe
Thomas Strahm
Thomas Studer
Language english
Course Page

The course page in ILIAS can be found at

Schedules and Rooms

Period Weekly
Schedule Thursday, 13:30-15:00
Location UniBE, ExWi
Room A097


Evaluation type continuous evaluation

Additional information


First Lecture
The first lecture will take place on Thursday, 01.10.2020 at 13:30 in UniBE, ExWi, room A097.

If you would like to attend the seminar and give a talk, please contact Thomas Studer ( 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.

The seminar will be held in person only and everyone has to wear a protective mask.