• Helmut Veith Stipend Ceremony Award

    The Helmut Veith Stipend is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security. The stipend is awarded annually to excellent female master’s students.

    The first recipient of the Helmut Veith stipend is Mariëlle Rietdijk, and the stipend will […]

    Read More
  • Helmut Veith 1971-2016

    With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.

    Read More

Talks

(subscribe: list, rss feed, calendar feed)
Aug
4

Sarah Kirchner

Appointment scheduling in hospitals – sequencing and scheduling using time aggregation

Aug
4

Stephan Holzer

New Algorithms and Lower Bounds in Distributed Computing

Jul
7

Alexandru Popa

Algorithmic and Hardness Results for the Colorful Components Problems

Jul
2

Paolo Papotti

Beyond declarative data cleaning

Jun
29

Dana S. Scott

Can Modalities Save Naive Set Theory?

Jul
8

Peter Stadler

Dynamic Programming for Lazy Bastards

News