| Title | Time | Room | Instructor |
|---|---|---|---|
| Formal Methods: Algorithmic Approaches | 24.04.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 26.04.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 26.04.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 03.05.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 03.05.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 08.05.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 10.05.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 10.05.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 15.05.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 17.05.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 17.05.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 22.05.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 24.05.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 24.05.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 31.05.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 31.05.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 05.06.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 07.06.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 07.06.2023 16:00 - 17:00 (Wed) | ||
| Formal Methods: Algorithmic Approaches | 12.06.2023 13:15 - 14:30 (Mon) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches | 14.06.2023 13:15 - 14:30 (Wed) | Chatterjee, Krishnendu | |
| Formal Methods: Algorithmic Approaches (recitation) | 14.06.2023 16:00 - 17:00 (Wed) |
Description:
We present formal modeling languages and analysis tools for discrete-event dynamical systems, with applications from computer science. We will discuss algorithmic approaches to classical models in formal methods. We will present approaches for graph models, as well as advanced models, that incorporate probabilistic aspects and game-theoretic aspects.
Capacity:
6/20
Course Code:
C_CS-204_S23
Course instructor(s):
Krishnendu Chatterjee
Course type:
Taught course
Course level:
Advanced/foundational
Primary Track:
Computer Science
Course format:
Online
Duration:
Half semester
ECTS:
3
Semester:
Spring 2
Target audience:
Students interested in formal methods and algorithmic approaches in verification.
Prerequisites:
Basic mathematical concepts, basic of algorithms, and basics of probability.
Teaching format:
Online lectures followed by student presentations in the end.
Assessment form(s):
Homeworks and student presentation
Grading scheme:
Numeric grades (1-5)
Course Category:
Credit Course
Academic Year:
AY 2022/23