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.

Details

Code	41529
Type	Seminar
ECTS	5
Site	Bern
Track(s)	T4 – Logic
Semester	S2023

Teaching

Learning Outcomes	Students are able to give a coherent talk about your ongoing research activities and to present your work to an interested audience.
Lecturer(s)	Thomas Studer
Language	english
Course Page	The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_2469350.html.

Schedules and Rooms

Period	Weekly
Schedule	Thursday, 13:30 - 15:00
Location	UniBE, ExWi

Evaluation

Evaluation type

continuous evaluation

Additional information

Comment

First Lecture The first lecture will be announced later.