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 | 41821 |
| Type | Seminar |
| ECTS | 5 |
| Site | Bern |
| Track(s) |
T4 – Logic |
| Semester | S2021 |
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 Strahm Thomas Studer |
| Language | english |
| Course Page | The course page in ILIAS can be found at https://ilias.unibe.ch/goto_ilias3_unibe_crs_1841397.html. |
Schedules and Rooms
| Period | Weekly |
| Schedule | Wednesday, 16:00 - 17:30 or Thursday, 10:15 - 12:00 according to separate announcements |
| Location | UniBE, ExWi |
| Room | A097 |
Evaluation
| Evaluation type | continuous evaluation |
Additional information
| Comment | First Lecture This semester, the seminar will be hold jointly with the Logic Group of Charles University, Prague and the Logic Group of the Math Institute, University of Bern. The seminar takes place online on Zoom. If you plan to attend the seminar, please send an email to Prof. Thomas Studer. Then you will receive the talk announcements and the Zoom link. |