Latest Talks

(» further talks)
Mar
12

Rajeev Alur

Safety Autonomy: A Formal Methods Approach
Thursday, March 12, 2020 at 16:00 c.t.

Dec
13

Torsten Schaub

Dynamic Answer Set Programming
Friday, December 13, 2019 at 14:15 c.t.

Dec
4

Joost-Pieter Katoen

Probabilistic Programming: Machine Learning for the Masses?
Wednesday, December 4, 2019 at 10:30 s.t.

Nov
28

Ringo Baumann

An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thursday, November 28, 2019 at 12:00 s.t.

Nov
27

Dominique Larchey-Wendling

Hilbert’s Tenth Problem in Coq
Wednesday, November 27, 2019 at 16:30 s.t.

Nov
20

Tommaso Moraschini

Profinite Heyting algebras and the representation problem for Esakia spaces
Wednesday, November 20, 2019 at 16:30 s.t.