Logic and Theoretical Computer Science (LTCS)

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:

• 22.02 | No seminar
• 01.03 | 10:15 : Room A097, ExWi : P. Welch : Recursions of higher types and low levels of determinacy (Abstract)
• 08.03 | No seminar
• 15.03 | No seminar
• 22.03 | No seminar
• 29.03 | No seminar
• 05.04 | No seminar
• 12.04 | 10:15 : Room A097, ExWi : M. E. Maietti : Properties discriminating the Minimalist Foundation from
  Martin-Loef's type theory. (Abstract)
• 19.04 | 10:15 : Room A097, ExWi : R. Haenni : One Person, One Computer, One Vote – Theoretical and Practical Challenges of Designing Online Voting Systems (Abstract)
• 03.05 | 10:15 : Room A097, ExWi : K. Mainzer : "Proof, Trust and Computation: Mathematical Foundations and Societal Impact" (Abstract)
• 09.05 | 10:15 : Room B078, ExWi : S. Friedman : "SUPERsystmes of Second Order Arithmetic" (Abstract)
• 17.05 | No seminar
• 24.05 | 10:15 Room A097, ExWi : A. Jaha : Bachelor thesis presentation: "Eine algorithmische Annäherung an das Briefträgerproblem" (Info)
• 31.05 | 10:15 Room A097, ExWi : F. Pakhomov : "On conservativity of collection in general setting" (Abstract)

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

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

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

To be announced in the course of the seminar.