Seminar Logic and Theoretical Computer Science

Students as well as members and scientific guests 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 research seminar that provides a platform for the exchange of ideas in theoretical computer science, logic, and the foundations of mathematics.

Learning Outcomes: 

Students are able to give a coherent talk about your ongoing research activities and to present your work to an interested audience.
 

Type: 
Seminar
Semester: 
S2018
ECTS: 
5
Tracks: 
Lecturer: 
Site: 
B
Code: 
41759
Language: 
english
Period: 
weekly
Schedule: 
Thursday: 13:30 - 15:00
Location: 
UniBE, ExWi
Room: 
A097
Evaluation type: 
continuous evaluation
Comment: 

First Lecture
The first lecture will take place on Thursday, 22.02.2018 at 13:30 in UniBE, ExWi, room A097.

ILIAS
The course page in ILIAS can be found at https://ilias.unibe.ch/goto.php?target=crs_1166799&client_id=ilias3_unibe.