Seminar Logic and Theoretical Computer Science

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.
 

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: 
A2018
ECTS: 
5
Tracks: 
Site: 
B
Code: 
41778
Language: 
english
Period: 
on appointment
Location: 
UniBE, ExWi
Room: 
A097
Evaluation type: 
continuous evaluation
Comment: 

First Lecture
Please contact Gerhard Jäger (jaegeratinf [dot] unibe [dot] ch) to select the date of the first meeting.

ILIAS
The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1340273.html.