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.

2018W, VO, 2.0h, 3.0EC, wird geblockt abgehalten

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
Mo.14:00 - 16:0011.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Reasoning on QBF - Martina Seidl
Di.10:00 - 12:0012.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Database Theory - Reinhard Pichler
Di.14:00 - 16:0012.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Introduction to Isabell - Peter Lammich
Mi.10:00 - 12:0013.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Description Logics - Magdalena Ortiz
Do.10:00 - 12:0014.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Computational Argumentation - Stefan Woltran
Di.10:00 - 12:0019.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Hybrid Automata - Radu Grosu
Di.14:00 - 16:0019.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Complexity Theory - Thomas Eiter
Mi.10:00 - 12:0020.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Modal Logic - Christian Fermüller
Mi.14:00 - 16:0020.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Proof Theory - Agata Ciabattoni
Do.14:00 - 16:0021.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Model Checking - Josef Widder
Mo.10:00 - 12:0025.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Software verification - Georg Weissenbacher
Di.10:00 - 12:0026.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) SAT Solving - Armin Biere
Di.14:00 - 16:0026.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) Reactive Synthesis - Roderick Bloem
Mi.10:00 - 12:0027.02.2019Seminarraum FAV 01 A (Seminarraum 183/2) First Order Theorem Proving - Laura Kovacs
LVA wird geblockt abgehalten

Leistungsnachweis

written examination

LVA-Anmeldung

Von Bis Abmeldung bis
12.12.2018 12:00 29.01.2019 12:00 01.02.2019 12:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Sprache

Englisch