| Title | Time | Room | Instructor |
|---|---|---|---|
| Formalisms Every Computer Scientist Should Know | 10.10.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 12.10.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 17.10.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 19.10.2023 08:45 - 10:00 (Thu) | Office Bldg West / Ground floor / Heinzel Seminar Room (I21.EG.101) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 24.10.2023 08:45 - 10:00 (Tue) | Central Bldg / O1 / Mondi 3 (I01.O1.010) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 31.10.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 02.11.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 07.11.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 09.11.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 14.11.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 16.11.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 21.11.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 23.11.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 28.11.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 30.11.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 05.12.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 07.12.2023 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 12.12.2023 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 09.01.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 11.01.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 16.01.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 18.01.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 23.01.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 25.01.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 30.01.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 01.02.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 06.02.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 08.02.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 13.02.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 15.02.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 20.02.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 22.02.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 27.02.2024 08:45 - 10:00 (Tue) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
| Formalisms Every Computer Scientist Should Know | 29.02.2024 08:45 - 10:00 (Thu) | Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102) | Henzinger, Thomas |
Description:
We will talk about logics, automata, grammars, function calculi, and process calculi, with an emphasis on syntax, operational semantics, and denotational semantics.
We will also learn how to write definitions and proofs at different levels of formality.
Capacity:
6/10
Course Code:
C_CS-3002_F23
Course instructor(s):
Thomas Henzinger
Main Contact:
Thomas Henzinger
Course type:
Taught course
Course level:
Advanced/foundational
Primary Track:
Computer Science
Course format:
On campus
Classroom requirements:
Blackboard
Projector
Capacity for 5-10
Duration:
Full semester
ECTS:
6
Semester:
Fall (1&2)
Target audience:
PhD students interested in the formal foundations of computing.
Prerequisites:
Basic knowledge of algorithms and computational complexity (e.g. the CS core course).
Teaching format:
Lectures.
Assessment form(s):
Homework assignments, quizzes, participation.
Grading scheme:
Numeric grades (1-5)
Course Category:
Credit Course
Academic Year:
AY 2023/24