# Logic and Theoretical Computer Science (LTCS)

Lecturers:

Lecture number:
101194-HS2017-0

ECTS:
5

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

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

- 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

### Remarks:

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

### Requirements:

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

### References:

To be announced in the course of the seminar.