Logic and Theoretical Computer Science (LTCS)

Lecture number: 101194-FS2017-0
ECTS: 5
Start: 2017-02-23
End: 2017-06-01
Venue: Hörraum A097, ExWi, Sidlerstrasse 5
Repetition: Every semester with varying contents.
Lectures take place on:
  • Thursday from 13:30 to 15:00

Description:

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:

  • 23.02, 13:30 - 15:00, Room A097, ExWi : J. Duparc : Some remarks on Baire’s grand theorem (Abstract)
  • 02.03, 10:15 - 11:45, Room 105, Main Building : B. Afshari : Cut-free completeness for modal mu-calculus (Abstract)
  • 02.03, 13:30 - 15:00, Room 105, Main Building : G. Leigh : Conservativity and cut-elimination for compositional truth (Abstract)
  • 09.03, no seminar
  • 16.03, 13:30 - 15:00, Room A097, ExWi : Bachelor Thesis presentation of Raphael Bucher : Editor for Automata
  • 23.03, no seminar
  • 30.03, no seminar
  • 06.04, 10:15 - 11:45, Room 105, Main Building : C. Beisbart : Reflective Equilibrium Spelled Out: A Formal Model Based Upon the Theory of Dialectical Structures (Abstract)
  • 06.04, 14:15 - 15:45, Room 214, Main Building : D. Flumini : Formalizing Legal Contracts (Abstract)

Remarks:

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

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

Requirements:

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

References:

To be announced in the course of the seminar.