184.766 Introduction to Logical Methods in Computer Science
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2017W, VO, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

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.

Inhalt der Lehrveranstaltung

Introductory overview about research areas inside Logic in Computer Science.

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.10:00 - 12:0014.02.2018 Seminarraum MengerComputational Argumentation - Stefan Woltran
Mi.14:00 - 16:0014.02.2018 Seminarraum MengerComplexity Theory - Thomas Eiter
Do.10:00 - 12:0015.02.2018 Seminarraum HahnDatabase Theory - Reinhard Pichler
Do.14:00 - 16:0015.02.2018 Seminarraum HahnSAT Solving - Armin Biere
Fr.10:00 - 12:0016.02.2018 Seminarraum MengerReactive Synthesis - Roderick Bloem
Mo.14:00 - 16:0019.02.2018 Seminarraum MengerSymbol Elimination for Program Analysis - Laura Kovacs
Di.10:00 - 12:0020.02.2018 Seminarraum MengerModel Checking - Josef Widder
Di.14:00 - 16:0020.02.2018 Seminarraum MengerHybrid Automata - Radu Grosu
Do.10:00 - 12:0022.02.2018 Seminarraum MengerModal Logic - Christian Fermüller
Do.14:00 - 16:0022.02.2018 Seminarraum MengerReasoning on QBF - Martina Seidl
Mo.10:00 - 12:0005.03.2018 Seminarraum MengerSoftware verification - Georg Weissenbacher

Leistungsnachweis

written examination

LVA-Anmeldung

Von Bis Abmeldung bis
13.12.2017 12:00 30.01.2018 12:00 02.02.2018 12:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch