Latest Talks

(» further talks)
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.

Nov
11

Prafullkumar Tale

Lossy Kernels for Graph Contraction Problems
Monday, November 11, 2019 at 14:00 s.t.