703319 SE Research Seminar in Logic and Learning: CL/TCS
summer semester 2026 | Last update: 26.05.2026 | Place course on memo listassoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
In-depth understanding in specialised areas of specialisation from Logic and Learning; acquisition of the skill to further educate oneself independently in the field.
Current research results of the "Computational Logic" and "Theoretical Computer Science" groups
Allocation of places in courses with a limited number of participants (PS, SE, VU, PJ)
In courses with a limited number of participants, course places are allocated as follows:
1. Students for whom the study duration would be extended due to the postponement are to be given priority.
2. If the criteria in no. 1 do not suffice, first, students for whom this course is part of a compulsory module are to be given priority, and second, students for whom this course is part of an elective module.
3. If the criteria in no. 1 and 2 do not suffice, the available places are drawn by random.
- Faculty of Mathematics, Computer Science and Physics
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
|
Group 0
|
||||
|---|---|---|---|---|
| Date | Time | Location | ||
|
Wed 2026-03-04
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-03-25
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-04-15
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-04-29
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-06
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-13
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-05-20
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-03
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-10
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-17
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |
|
Wed 2026-06-24
|
08.30 - 10.00 | 3W04 3W04 | Barrier-free | |