# Logic and Theoretical Computer Science (LTCS)

Lecturer:

Lecture number:
101194-FS2018-0

ECTS:
5

Start:
2018-02-22

End:
2018-05-31

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:**

- 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.04 | No seminar
- 24.04 | 10:15 Room A097, ExWi :
**A. Jaha**: Bachelor thesis presentation: "Eine algorithmische Annäherung an das Briefträgerproblem" (Info)

### Remarks:

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

### Requirements:

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

### References:

To be announced in the course of the seminar.