184.766 Introduction to Logical Methods in Computer Science
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020W, VO, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to    

- describe the industrial relevance and long/short-term impact of logic-based
methods - understand practical limitations of logic-based methods

Subject of course

In this one-semester course, students gain an introductory overview of the main
research areas of the LogiCS Doctoral Program: Verification, Computational Logic
and Databases / Artificial Intelligence. For each of the three areas an overview is
given by presentations of the participating professors. The main objective of this
lecture is to stimulate interdisciplinary research and to inform students about the
research areas of the LogiCS Doctoral College. In the introduction to logical
methods, every student has to solve two exercises, which are selected from the
areas that do not correspond to the research area of the doctoral supervisor.

Teaching methods

- The course consists of in-class lectures and homework exercises.
- Lectures slide are made online.
- Exercise topics for homework exercise will be discussed during the in-class
- Homework solutions will be submitted online by students. These solutions will be
by the lecturers and returned to the students.
- There will be individual meetings with students providing feedback on their overall
course performance.

Mode of examination


Additional information

3 ECTS (75 h): 15 einheiten*2h=30h ->
VO 40%=30 h
UE 60%=45 h
Beachten Sie beim Verfassen der Ausarbeitung bitte die Richtlinie der TU Wien
zum Umgang mit Plagiaten: https://www.tuwien.ac.at/fileadmin/t/ukanzlei/Lehre_-



Course dates

Mon10:00 - 12:0008.02.2021 Seminarraum MengerComputational Argumentation - Stefan Woltran
Mon14:00 - 16:0015.02.2021FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Proof Theory - Agata Ciabattoni
Tue10:00 - 12:0016.02.2021FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Description Logics - Magdalena Ortiz
Thu10:00 - 12:0018.02.2021 Seminarraum MengerModel Checking - Josef Widder
Thu14:00 - 16:0018.02.2021FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Parameter verification and synthesis problems ...- Laura NENZI
Mon10:00 - 12:0022.02.2021 Seminarraum MengerFirst Order Theorem Proving - Laura Kovacs
Mon14:00 - 16:0022.02.2021 Seminarraum MengerModal Logic - Christian Fermüller
Wed10:00 - 12:0024.02.2021FAV Hörsaal 3 Zemanek (Seminarraum Zemanek) Database Theory - Thomas Eiter
Tue10:00 - 12:0002.03.2021 Seminarraum MengerHybrid Automata - Radu Grosu
Tue14:00 - 16:0002.03.2021 sSAT Solving - Armin Biere
Wed10:00 - 12:0003.03.2021 Seminarraum MengerRuntime Verification - Ezio Bartocci
Mon10:00 - 12:0008.03.2021 Seminarraum MengerSoftware verification - Georg Weissenbacher
Mon14:00 - 16:0008.03.2021 Seminarraum MengerReactive Synthesis - Roderick Bloem
Course is held blocked

Examination modalities

oral examination

Course registration

Begin End Deregistration end
16.12.2020 12:00 10.03.2021 12:00 05.02.2021 12:00



No lecture notes are available.

Previous knowledge

Master's degree in Mathematics, Computer Science or Philosophy with the enhanced instruction in Logic and Formal Methods