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 | 41806 |
| Type | Seminar |
| ECTS | 5 |
| Site | Bern |
| Track(s) |
T4 – Logic |
| Semester | A2019 |
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_1531302.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 |