Formalisms Every Computer Scientist Should Know

TitleTimeRoomInstructor
Formalisms Every Computer Scientist Should Know08.10.2024 10:15 - 11:30 (Tue)Sunstone Bldg / Ground floor / Big Seminar Room A / 27 seats (I23.EG.102)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know10.10.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 3 (I01.O1.010)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know15.10.2024 10:15 - 11:30 (Tue)Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know17.10.2024 10:15 - 11:30 (Thu)Sunstone Bldg / Ground floor / Big Seminar Room B / 63 seats (I23.EG.102)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know22.10.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know24.10.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know29.10.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know31.10.2024 10:15 - 11:30 (Thu)Office Bldg West / Ground floor / Heinzel Seminar Room (I21.EG.101)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know05.11.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know07.11.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2b (I01.O1.008)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know12.11.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2b (I01.O1.008)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know14.11.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know19.11.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know21.11.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know03.12.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know05.12.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know10.12.2024 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know12.12.2024 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know14.01.2025 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know16.01.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know21.01.2025 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know23.01.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know28.01.2025 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know30.01.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know04.02.2025 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know06.02.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know20.02.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 2a (I01.O1.008)
Central Bldg / O1 / Mondi 2b (I01.O1.008)		Henzinger, Thomas
Formalisms Every Computer Scientist Should Know25.02.2025 10:15 - 11:30 (Tue)Central Bldg / O1 / Mondi 1 (I01.O1.007)Henzinger, Thomas
Formalisms Every Computer Scientist Should Know27.02.2025 10:15 - 11:30 (Thu)Central Bldg / O1 / Mondi 1 (I01.O1.007)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/30
Course Code: 
C_CS-3002_F24
Course instructor(s): 
Thomas Henzinger
Main Contact: 
Thomas Henzinger
Course type: 
Taught course
Course tags: 
Elective
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 2024/25
Moodle Course: 
Link