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.
Details
Code | 41515 |
Type | Seminar |
ECTS | 5 |
Site | Bern |
Track(s) |
T4 – Logic |
Semester | A2022 |
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_2469249.html. |
Schedules and Rooms
Period | Weekly |
Schedule | Thursday, 13:30 - 15:00 |
Location | UniBE, ExWi |
Room | A097 |
Evaluation
Evaluation type | continuous evaluation |
Additional information
Comment | First Lecture If you would like to attend the seminar and give a talk, please contact Thomas Studer (thomas.studer@inf.unibe.ch) in the first week of the semester at the latest so that we can individually discuss possible topics and fix a date for your presentation. |