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
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?
2nd Schematic Mapping Workshop took place at TU Wien
SIGLOG/VCLA Travel Awards for Women in Logic Workshop 2019 (WiL 2019)
Extended Deadline: May 21, 2019
