Logic and Theoretical Computer Science (LTCS)

Lecture number: 101194-HS2017-0
Start: 2017-09-21
End: 2017-12-21
Venue: Hörraum A097, ExWi, Sidlerstrasse 5
Repetition: Every semester with varying contents.
Lectures take place on:
  • Thursday from 13:30 to 15:00


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.

Lectures take place according to separate announcement on this page.

Lecture dates:

  • 21.09 | 13:30 : Room A097, ExWi : G. Ostrin : Constraint Satisfaction Problems: From the front of the class, to the back of the school (Abstract)
  • 28.09 | No seminar
  • 05.10 | 13:30 : Room A097, ExWi : A. Setzer : The extended predicative Mahlo Universe in Explicit Mathematics - model construction (Abstract)
  • 12.10 | No seminar
  • 19.10 | 14:15 : Room 206, Hauptgebäude : P. Schroeder-Heister : Intensional aspects of proofs (Abstract)
  • 26.10 | To be announced
  • 02.11 | To be announced
  • 09.11 | To be announced
  • 16.11 | To be announced
  • 23.11 | To be announced
  • 30.11 | Room and time to be announced : R. Glück : Towards Interactive Verification of Programmable Logic Controllers using Modal Kleene Algebra and KIV


Suitable for students interested in the foundations of mathematics, logic, and theoretical computer science.

KSL-Link: https://www.ksl.unibe.ch/KSL/kurzansicht?...


Solid knowledge in mathematical logic and/or theoretical computer science.


To be announced in the course of the seminar.