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 | 41632 |
| Type | Seminar |
| ECTS | 5 |
| Site | Bern |
| Track(s) |
T4 – Theory and Logic |
| Semester | A2025 |
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 George Metcalfe |
| Language | english |
| Course Page | The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_3419465.html. |
Schedules and Rooms
| Period | Weekly |
| Schedule | Thursday, 13:30 - 15:00 |
| Location | UniBE, ExWi |
| Room | 228 |
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@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. |