{"id":"https://openalex.org/W2982438438","doi":"https://doi.org/10.1145/3357518.3357520","title":"Helmut Veith memorial workshop 2019 report","display_name":"Helmut Veith memorial workshop 2019 report","publication_year":2019,"publication_date":"2019-08-16","ids":{"openalex":"https://openalex.org/W2982438438","doi":"https://doi.org/10.1145/3357518.3357520","mag":"2982438438"},"language":"en","primary_location":{"id":"doi:10.1145/3357518.3357520","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357518.3357520","pdf_url":null,"source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050387054","display_name":"Michael Morak","orcid":"https://orcid.org/0000-0002-2077-7672"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Michael Morak","raw_affiliation_strings":["University of Klagenfurt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Klagenfurt","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064227826","display_name":"Anna Prianichnikova","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anna Prianichnikova","raw_affiliation_strings":["TU Vienna, DK LogiCS"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Vienna, DK LogiCS","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074223895","display_name":"Ana Sokolova","orcid":"https://orcid.org/0000-0002-8384-3438"},"institutions":[{"id":"https://openalex.org/I182212641","display_name":"University of Salzburg","ror":"https://ror.org/05gs8cd61","country_code":"AT","type":"education","lineage":["https://openalex.org/I182212641"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ana Sokolova","raw_affiliation_strings":["University of Salzburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Salzburg","institution_ids":["https://openalex.org/I182212641"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17805129,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"3","first_page":"7","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9406999945640564,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9406999945640564,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9376000165939331,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/honour","display_name":"Honour","score":0.9040074348449707},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.4258197546005249},{"id":"https://openalex.org/keywords/art-history","display_name":"Art history","score":0.3393891453742981},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.32511281967163086},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.16851457953453064},{"id":"https://openalex.org/keywords/archaeology","display_name":"Archaeology","score":0.10706645250320435}],"concepts":[{"id":"https://openalex.org/C2780110125","wikidata":"https://www.wikidata.org/wiki/Q207333","display_name":"Honour","level":2,"score":0.9040074348449707},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.4258197546005249},{"id":"https://openalex.org/C52119013","wikidata":"https://www.wikidata.org/wiki/Q50637","display_name":"Art history","level":1,"score":0.3393891453742981},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.32511281967163086},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.16851457953453064},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.10706645250320435}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3357518.3357520","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357518.3357520","pdf_url":null,"source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2794942233","https://openalex.org/W2341232016","https://openalex.org/W3081846012","https://openalex.org/W2587547610","https://openalex.org/W2586639325","https://openalex.org/W1971625288","https://openalex.org/W2021470705","https://openalex.org/W2061607625","https://openalex.org/W2323090320","https://openalex.org/W1909972633"],"abstract_inverted_index":{"Helmut":[0,12],"Veith":[1],"Memorial":[2],"Workshop":[3],"(HVW)":[4],"is":[5,74,85,106],"a":[6,14,78,99,107],"memorial":[7],"workshop":[8,55,73],"in":[9,33,64,76,87,101,120],"honour":[10],"of":[11,29,48,82],"Veith,":[13],"dear":[15],"friend":[16],"and":[17,20,31,69,89,113,124,135,137],"colleague,":[18],"logician":[19],"computer":[21,34,121],"scientist":[22],"who":[23,40],"contributed":[24],"significantly":[25],"to":[26,110,129],"the":[27,46,65,83,90,102,117],"area":[28],"verification":[30],"logics":[32],"science,":[35],"professor":[36],"at":[37,45,98],"TU":[38],"Vienna":[39],"tragically":[41],"died":[42],"too":[43],"early":[44],"age":[47],"45":[49],"years":[50,52],"3":[51],"ago.":[53],"The":[54,72],"follows":[56],"his":[57],"wish":[58],"for":[59],"having":[60],"an":[61],"informal":[62],"meeting":[63],"mountains,":[66],"mixing":[67],"science":[68,122,134],"snow":[70],"fun.":[71],"organised":[75],"such":[77],"way":[79],"that":[80],"half":[81,92],"day":[84],"spent":[86],"talks,":[88],"other":[91],"skiing,":[93,136],"discussing,":[94],"or":[95],"working":[96],"together":[97],"venue":[100],"Austrian":[103,118],"Alps.":[104],"It":[105],"nice":[108],"opportunity":[109],"exchange":[111],"ideas":[112],"meet":[114],"colleagues":[115],"from":[116],"logic":[119],"community":[123],"beyond,":[125],"as":[126,128],"well":[127],"spend":[130],"pleasant":[131],"days":[132],"with":[133],"even":[138],"bring":[139],"family":[140],"along.":[141]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}