Emilia Oikarinen

Minimum-Width Confidence Bands via Constraint Optimization
Friday, September 29, 2017 at 10:00 c.t.

Matti Järvisalo

The Implicit Hitting Set Approach and Preprocessing for Maximum Satisfiability Solving
Friday, September 29, 2017 at 14:00 c.t.

Helmut Veith Symposium

Herewith invited to the Symposium in Memoriam Helmut Veith, the co-founder of Vienna Center for Logic and Algorithms, hosted by the organizers of the 17th FMCAD – Formal Methods in Computer-Aided Design, held at TU Wien, Vienna, Austria, from 2–6 October, 2017.

Helmut Veith Symposium

Friday, October 6, 2017 at 9:00

Extended Deadline for Helmut Veith Stipend for Female Master´s Students

Outstanding female students in the field of computer science who pursue (or plan to pursue) one of the master‘s programs in Computer Science at TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend.