Daniel Le Berre
Recursive Explore and Check Abstraction Refinement (RECAR)
Tuesday, June 18, 2019 at 14:00 c.t.
Mateus de Oliveira Oliveira
Some Width Measures for Proofs
Monday, June 24, 2019 at 16:00 c.t.
Anne Schreuder
Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Monday, June 17, 2019 at 10:00 c.t.
Arnaud Durand
Introduction to dependence logic and team semantics
Friday, June 7, 2019 at 15:00 c.t.
Women in Logic 2019
![](https://www.vcla.at/wp-content/uploads/2019/05/WomenInLogic2019.jpg)
The 3rd Women in Logic Workshop supported by SIGLOG and VCLA
Colin Toal
Developing software and ML models at IBM, Amazon and integrate.ai
Thursday, May 23, 2019 at 16:00 c.t.
David Basin
Security Protocols: Model Checking Standards
Monday, May 20, 2019 at 15:00 c.t.
First Austrian IFIP Forum “AI and future society”
Wednesday, May 8, 2019 – Thursday, May 9, 2019
How to design a perfect subway map?
![](https://www.vcla.at/wp-content/uploads/2019/01/TU-Wien-2nd-Schematic-Mapping-Workshop-2019-124.jpg)
2nd Schematic Mapping Workshop took place at TU Wien
SIGLOG/VCLA Travel Awards for Women in Logic Workshop 2019 (WiL 2019)
![](https://www.vcla.at/wp-content/uploads/2019/04/GOLD-WIL.jpg)
Extended Deadline: May 21, 2019