|
|
Root number
|
101194 |
|
Semester
|
FS2025 |
|
Type of course
|
Seminar |
|
Allocation to subject
|
Computer Science |
|
Type of exam
|
not defined |
| Title |
Seminar: Logic and Theoretical Computer Science |
| Description |
Guest speakers, students, and members of the Logic and Theory Research Group (LTG) present their current work.
Prerequisites: This is a research seminar that requires excellent knowledge of mathematical logic and theoretical computer science.
The seminar sessions will be held according to separate e-mail announcements. |
|
ILIAS-Link (Learning resource for course)
|
|
|
Link to another web site
|
Further information for this course
|
| Lecturers |
Prof. Dr.
George Metcalfe, Institute of Mathematics ✉
|
|
Prof. Dr.
Thomas Studer, Institute of Computer Science, Logic and Theory Group (LTG) ✉
|
|
ECTS
|
5 |
|
Recognition as optional course possible
|
Yes |
|
Grading
|
1 to 6 |
| |
| Dates |
Thursday 10:15-12:00 Weekly
|
| |
|
Rooms
|
| External rooms |
Room 228 ExWi
|
| |
| Students please consult the detailed view for complete information on dates, rooms and planned podcasts. |
User:
Öffentlicher Bereich
Support