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. The seminar sessions will be held according to separate e-mail announcements.
Details
| Code | 41647 |
| Type | Seminar |
| ECTS | 5 |
| Site | Bern |
| Track(s) |
T4 – Theory and Logic |
| Semester | S2026 |
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 can be found at https://logicseminar.inf.unibe.ch/. The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_3419490.html. |
Schedules and Rooms
| Period | Weekly |
| Schedule | Thursday, 14:00 - 15:00 |
| Location | UniBE, ExWi |
Evaluation
| Evaluation type | continuous evaluation |
Additional information
| Comment | First Lecture
|