skip to main content
research-article

Helmut Veith memorial workshop 2019 report

Published: 16 August 2019 Publication History

Abstract

Helmut Veith Memorial Workshop (HVW) is a memorial workshop in honour of Helmut Veith, a dear friend and colleague, logician and computer scientist who contributed significantly to the area of verification and logics in computer science, professor at TU Vienna who tragically died too early at the age of 45 years 3 years ago.
The workshop follows his wish for having an informal meeting in the mountains, mixing science and snow fun. The workshop is organised in such a way that half of the day is spent in talks, and the other half skiing, discussing, or working together at a venue in the Austrian Alps. It is a nice opportunity to exchange ideas and meet colleagues from the Austrian logic in computer science community and beyond, as well as to spend pleasant days with science and skiing, and even bring family along.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGLOG News
ACM SIGLOG News  Volume 6, Issue 3
July 2019
13 pages
EISSN:2372-3491
DOI:10.1145/3357518
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 16 August 2019
Published in SIGLOG Volume 6, Issue 3

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 39
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)1
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media