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