Seminar Logic and Theoretical Computer Science
This is a research seminar aimed only at students who are currently writing a thesis in logic. Guest speakers and members of the logic research groups present their current work.
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 A detailed schedule of the seminar is available under: https://logicseminar.inf.unibe.ch |