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.

2021S, VO, 2.0h, 3.0EC, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture
  • Format: Online

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 lectures
- Homework solutions will be submitted online by students. These solutions will be corrected

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

Registration for the course is mandatory - the access link will only be sent to registered participants.

3 ECTS (75 h): 15 einheiten*2h=30h ->

VO 40%=30 h

UE 60%=45 h

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: http://www.tuwien.ac.at/fileadmin/t/ukanzlei/t-ukanzlei-english/Plagiarism.pdf
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: https://www.tuwien.at/fileadmin/Assets/dienstleister/Datenschutz_und_Dokumentenmanagement/Plagiarism.pdf



Course dates

Mon10:00 - 12:0008.02.2021 link will be added (LIVE)Description Logics - Magdalena Ortiz
Tue14:00 - 16:0009.02.2021 link will be added (LIVE)Modal Logic - Christian Fermüller
Wed10:00 - 12:0010.02.2021 link will be added (LIVE)Computational Argumentation - Stefan Woltran
Thu14:00 - 16:0011.02.2021 l (LIVE)Reactive Synthesis - Roderick Bloem
Fri10:00 - 12:0012.02.2021 link will be added (LIVE)SAT solving - Armin Biere
Mon10:00 - 12:0015.02.2021 link will be added (LIVE)First Order Theorem Proving - Laura Kovacs
Mon14:00 - 16:0015.02.2021 link will be added (LIVE)Proof Theory - Agata Ciabattoni
Tue10:00 - 12:0016.02.2021 link will be added (LIVE)Runtime Verification - Ezio Bartocci
Tue14:00 - 16:0016.02.2021 link will be added (LIVE)Complexity Theory - Thomas Eiter
Wed10:00 - 12:0017.02.2021 link will be added (LIVE)Learning Temporal Logic Formulas from Data - Laura Nenzi
Thu14:00 - 16:0018.02.2021 link will be added (LIVE)Model Checking - Igor Konnov
Mon10:00 - 12:0022.02.2021 link will be added (LIVE)Software verification - Georg Weissenbacher
Mon14:00 - 16:0022.02.2021 link will be added (LIVE)Hybrid Automata - Radu Grosu
Tue10:00 - 12:0023.02.2021 link will be added (LIVE)Reasoning on QBF - Martina Seidl
Wed14:00 - 16:0024.02.2021 link will be added (LIVE)Epistemic logic and distributed systems - Roman Kuznets
Course is held blocked

Examination modalities

oral examination

Course registration

Begin End Deregistration end
28.01.2021 00:00 28.02.2021 23:59



No lecture notes are available.

Previous knowledge

Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods