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 |
VeranstalterInnen
MitarbeiterInnen | Zeitraum | |||||
---|---|---|---|---|---|---|
Michael Morak (intern) |
|
|||||
Ana Sokolova (extern) |
|
|||||
Anna Prianichnikova
|
|
Zuordnung
Organisationseinheit | ||||
---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
Kategorisierung
Förderungstyp | Sonstiger |
Veranstaltungstyp |
|
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
TeilnehmerInnenkreis |
|
Veranstaltungsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Finanzierung
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
University of Salzburg
|
AT
|
||
TU Vienna, DK LogiCS
|
AT
|
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge |
|
Vorträge der Veranstaltung
Epistemic Logic Programs and How to Solve Them
Epistemic Logic Programs and How to Solve Them
M. Morak |