Veranstaltung: Helmut Veith Memorial Workshop 2019

Stammdaten
Titel: Helmut Veith Memorial Workshop 2019
Beschreibung:

A workshop for logicians in computer science, held in memory of Helmut Veith, with an emphasis on the combination of research and social activities. This workshop, now in its third edition, was held from Monday, March 18, to Wednesday, March 20, 2019, at the Schlosshotel Seewirt, Turracher Höhe, Austria.
Schlagworte: Logik
Kurztitel: HVW 2019
Ort: Turracher Höhe, Austria
Staat: Österreich
Zeitraum: 01.01.2019 - 15.04.2019
Veranstaltungsstatus:
Kontakt-Email: michael.morak@aau.at
Homepage: https://hvmw.github.io/hvw2019/

VeranstalterInnen
MitarbeiterInnen Zeitraum
Michael Morak
Michael.Morak@aau.at
Forschungsaktivitäten
zur Visitenkarte
(intern)
  • 01.01.2019 - 15.04.2019
Ana Sokolova
Forschungsaktivitäten
(extern)
  • 01.01.2019 - 15.04.2019
Anna Prianichnikova
Österreich
Forschungsaktivitäten
(extern)
  • 01.01.2019 - 15.04.2019

Zuordnung
Organisationseinheit
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Österreich
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
zur Organisation

Kategorisierung
Förderungstyp Sonstiger
Veranstaltungstyp
  • Workshop
Sachgebiete
  • 603109 - Logik
Forschungscluster Kein Forschungscluster ausgewählt
TeilnehmerInnenkreis
  • Überwiegend international
Veranstaltungsfokus
  • Science to Science (Qualitätsindikator: n.a.)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Finanzierung
Keine Förderprogramme vorhanden

Kooperationen
Organisation Adresse
University of Salzburg
Österreich - Salzburg
AT  
TU Vienna, DK LogiCS
Österreich - Wien
AT  

Vorträge der Veranstaltung
Epistemic Logic Programs and How to Solve Them
Epistemic Logic Programs and How to Solve Them

M. Morak

seit 20.03.2019

Zum Vortrag