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.

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

Properties

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

Aim of course

In this one-semester course, each faculty member presents an introductory overview of their individual area of expertise. The main goal of this course is to inspire interdisciplinary research and inform the students about the research areas pursued inside LogiCS.

Subject of course

Introductory overview about research areas inside Logic in Computer Science.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Mon14:00 - 16:0011.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Reasoning on QBF - Martina Seidl
Tue10:00 - 12:0012.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Database Theory - Reinhard Pichler
Tue14:00 - 16:0012.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) ntroduction to Isabell - Peter Lammich
Wed10:00 - 12:0013.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Description Logics - Magdalena Ortiz
Thu10:00 - 12:0014.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Computational Argumentation - Stefan Woltran
Tue10:00 - 12:0019.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Hybrid Automata - Radu Grosu
Tue14:00 - 16:0019.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Complexity Theory - Thomas Eiter
Wed10:00 - 12:0020.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Modal Logic - Christian Fermüller
Wed14:00 - 16:0020.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Proof Theory - Agata Ciabattoni
Thu14:00 - 16:0021.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Model Checking - Josef Widder
Mon10:00 - 12:0025.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Software verification - Georg Weissenbacher
Tue10:00 - 12:0026.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) SAT Solving - Armin Biere
Tue14:00 - 16:0026.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Reactive Synthesis - Roderick Bloem
Wed10:00 - 12:0027.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) First Order Theorem Proving - Laura Kovacs
Course is held blocked

Examination modalities

written examination

Course registration

Begin End Deregistration end
12.12.2018 12:00 29.01.2019 12:00 01.02.2019 12:00

Curricula

Literature

No lecture notes are available.

Language

English