Skip to content
Menu
Technical University of Munich
Technical University of Munich

Instructors

Overview

  • Language: English

News

  • The seminar has started! The slides of the first meeting can be found here slides

  • The schedule for the next weeks is as follows:

    • 07. Nov (13:00 - 14:00): Example talk and choice of topics

    • 12. Dec (12:00 - 14:00): First lecture

      • Lilo (Chair: Bilel) "Automata Theory and Model Checking" (Chapter 4)

      • Vincent (Chair: Elias) "Model Checking Real-Time Systems" (Chapter 29)

    • 16. Jan (not 09. Jan) (12:00 - 14:00): Second lecture

      • Thomas (Chair: Jakob) "The mu-calculus and Model Checking" (Chapter 26)

      • Henrik (Chair: Yilin) "Combining Model Checking and Testing" (Chapter 19)

    • 23. Jan (12:00 - 14:00): Third lecture

      • Bilel (Chair: Lilo) "Combining Model checking and deduction" (Chapter 20)

      • Elias (Chair: Vincent) "Satisfiability Modulo Theories" (Chapter 11)

    • 06. Feb (12:00 - 14:00): Fourth lecture

      • Jakob (Chair: Thomas) "Graph Games and Reactive Synthesis" (Chapter 27)

      • Yilin (Chair: Henrik) "Graph Games and Reactive Synthesis" (Chapter 27)

  • The first weeks of the seminar are planned as follows:

  • - Beginning of October: We send a doodle to find a weekday that fits everyone.
    - First week of the semester: We meet to introduce the topics and clarify the organisational details (including grading schema).
    - Second week of the semester: There is an example talk, demonstrating our requirements and relating the seminar topics. Also, in this week we fix the topics and dates of the presentations.
    - Afterwards: We meet approximately every two weeks, having two presentations per meeting.

  • If you do not want to participate in the course, you can deregister until Monday 10.10.
    Later deregistration will lead to a 5.0 being entered in TUMonline.

  • 26.07.2022 - 13:45 in 03.11.034: Pre-Course-Meeting (slides, book)
    UPDATE: We will start 15 minutes later at 14:00. 

  • until 27.07.2022: entry in the matching-system

  • 05.08.2022: matching results

  • until 23.10.2022: deregistration possible

  • ~17.10.-21.10.2022 (tba): Introduction-Meeting 

 

To top