Helmut Veith Stipend Award Ceremony
![](https://www.vcla.at/wp-content/uploads/2017/03/hv_stipend_header_480x330_2017-FINAL2017.png)
The Helmut Veith Stipend for female scientists
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. Helmut Veith, who tragically passed away in March 2016, was a strong advocate and mentor for women in […]
LAIVe Summer School 2017
![](https://www.vcla.at/wp-content/uploads/2017/05/LAIVe_banner_web_vcla5.jpg)
Monday, July 3, 2017 – Wednesday, July 5, 2017
Helmut Veith Stipend Award Ceremony
![](https://www.vcla.at/wp-content/uploads/2017/03/hv_stipend_header_480x330_2017-FINAL2017.png)
Tuesday, March 14, 2017 at 17:30
LogicLounge in memoriam Helmut Veith
![](https://www.vcla.at/wp-content/uploads/2016/07/logiclounge-320x220.jpg)
Will robots take away your job? Moshe Vardi will discuss with Dan Falk during CAV 2016
New Trends in Belief Change
![](https://www.vcla.at/wp-content/uploads/2016/05/VCLA_WPI_workshop-320x220.jpg)
May 10, 2016
ALCOP VII
![](https://www.vcla.at/wp-content/uploads/2016/05/VCLA_WPI_Gödellecture_alcop-1-320x220.jpg)
Algebra and Coalgebra meet Proof Theory
2nd edition: VCLA Student Awards
![](https://www.vcla.at/wp-content/uploads/2015/09/Bild_Award-320x220.jpg)
April 16, 2016
2nd edition: VCLA Student Awards
![](https://www.vcla.at/wp-content/uploads/2015/09/Bild_Award-320x220.jpg)
The highly successful second edition of the VCLA International Student Awards was concluded on April 16, 2016. Click here for more information and photos.
Helmut Veith 1971-2016
![](https://www.vcla.at/wp-content/uploads/2016/03/helmutveith_announcement-320x220.png)
With the deepest sadness, we announce Helmut Veith’s passing on March 12, 2016.
Logic Lounge with Cliff B. Jones
![](https://www.vcla.at/wp-content/uploads/2016/07/logiclounge-320x220.jpg)
Formal Methods and the Vienna IBM Lab – March 7, 2016