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.

2017W, VO, 2.0h, 3.0EC

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
Wed10:00 - 12:0014.02.2018 Seminarraum MengerComputational Argumentation - Stefan Woltran
Wed14:00 - 16:0014.02.2018 Seminarraum MengerComplexity Theory - Thomas Eiter
Thu10:00 - 12:0015.02.2018 Seminarraum HahnDatabase Theory - Reinhard Pichler
Thu14:00 - 16:0015.02.2018 Seminarraum HahnSAT Solving - Armin Biere
Fri10:00 - 12:0016.02.2018 Seminarraum MengerReactive Synthesis - Roderick Bloem
Mon14:00 - 16:0019.02.2018 Seminarraum MengerSymbol Elimination for Program Analysis - Laura Kovacs
Tue10:00 - 12:0020.02.2018 Seminarraum MengerModel Checking - Josef Widder
Tue14:00 - 16:0020.02.2018 Seminarraum MengerHybrid Automata - Radu Grosu
Thu10:00 - 12:0022.02.2018 Seminarraum MengerModal Logic - Christian Fermüller
Thu14:00 - 16:0022.02.2018 Seminarraum MengerReasoning on QBF - Martina Seidl
Mon10:00 - 12:0005.03.2018 Seminarraum MengerSoftware verification - Georg Weissenbacher

Examination modalities

written examination

Course registration

Begin End Deregistration end
13.12.2017 12:00 30.01.2018 12:00 02.02.2018 12:00

Curricula

Literature

No lecture notes are available.

Language

English