Event: Helmut Veith Memorial Workshop 2019

Master data
Title: Helmut Veith Memorial Workshop 2019
Description:

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.
Keywords: Logik
Short title: HVW 2019
City: Turracher Höhe, Austria
Country: Austria
Period: 01.01.2019 - 15.04.2019
Veranstaltungsstatus:
Contact e-mail: michael.morak@aau.at
Homepage: https://hvmw.github.io/hvw2019/

Organizers
Employees Time period
Michael Morak
Michael.Morak@aau.at
Research activities
To visiting card
(internal)
  • 01.01.2019 - 15.04.2019
Ana Sokolova
Research activities
(external)
  • 01.01.2019 - 15.04.2019
Anna Prianichnikova
Austria
Research activities
(external)
  • 01.01.2019 - 15.04.2019

Assignment
Organisational unit
Fakultät für Technische Wissenschaften
  Institut für Artificial Intelligence und Cybersecurity
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993705
   aics-office@aau.at
https://www.aau.at/en/aics/
To organisation

Categorisation
Funding type Other
Event type
  • Workshop
Subject areas
  • 603109 - Logic
Research Cluster No research Research Cluster selected
Group of participants
  • Mainly international
Event focus
  • Science to Science (Quality indicator: n.a.)
Classification raster of the assigned organisational units:
working groups No working group selected

Funding
No available funding programs

Cooperations
Organisation Address
University of Salzburg
Austria - Salzburg
AT  
TU Vienna, DK LogiCS
Austria - Vienna
AT  

Lectures of the event
Epistemic Logic Programs and How to Solve Them
Epistemic Logic Programs and How to Solve Them

M. Morak

since 20.03.2019

To Lecture