Logic and Theoretical Computer Science (LTCS)

Lecture number: 101194-HS2018-0
ECTS: 5
Start: 2018-09-20
End: 2018-12-20
Venue: Hörraum A097, ExWi, Sidlerstrasse 5
Repetition: Every semester with varying contents.
Lectures take place on:
  • Thursday from 13:30 to 15:00 (Lectures take place according to separate announcement on this page)

Description:

Guest speakers, 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.

In order to obtain credits for this course, it is required to attend this seminar regularly and to present own research results related to the topics mentioned above.

Lecture dates:

  • 20.09 | 10:15 : Room A097, ExWi : U. Buchholtz : Modal type theories and universes of infinity-categories (Abstract)
  • 27.09 | 10:15 Room A097, ExWi : B. Senti : Bachelor thesis presentation: "Proving program termination" (Abstract)

Remarks:

Learning outcome: Students are able to give a coherent talk about their ongoing research activities and to present their work to an interested audience.

Requirements:

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

References:

To be announced in the course of the seminar.