LogicLounge in memoriam Helmut Veith

Will robots take away your job?

In memory of Helmut Veith, this year’s Conference on Computer Aided Verification (CAV), which takes place in Toronto, will feature a LogicLounge on the effect of automation and artificial intelligence on our jobs.

The LogicLounge discussion series was initiated during the Vienna Summer of Logic 2014 and aims to provide a public forum for the discussion of computer science topics. In the upcoming installment on July 22, 2016, Artificial Intelligence professor Moshe Y. Vardi (Rice University, USA) will discuss with journalist Dan Falk if, when, and how robots will take over human jobs. Or have they already?

Details about this event can be found on the VCLA LogicLounge website.

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive