Latest Talks

(» further talks)
Jun
25

Olivia Erdélyi

Why Bother With Regulation and Ethics? We Just Develop the Technology…
Tuesday, June 25, 2019 at 13:00 c.t.

Jun
24

Mateus de Oliveira Oliveira

Some Width Measures for Proofs
Monday, June 24, 2019 at 16:00 c.t.

Jun
18

Daniel Le Berre

Recursive Explore and Check Abstraction Refinement (RECAR)
Tuesday, June 18, 2019 at 14:00 c.t.

Jun
17

Anne Schreuder

Automatic Synthesis of Polynomial Probabilistic Invariants via Geometric Persistence
Monday, June 17, 2019 at 10:00 c.t.

Jun
7

Arnaud Durand

Introduction to dependence logic and team semantics
Friday, June 7, 2019 at 15:00 c.t.

May
23

Colin Toal

Developing software and ML models at IBM, Amazon and integrate.ai
Thursday, May 23, 2019 at 16:00 c.t.