2022 |
|
Wed, Dec 14 |
Daniel Kröning |
Automated Reasoning at Amazon |
|
2021 |
|
Wed, Oct 20 |
Lutz Strassburger |
Combinatorial Proofs and Decomposition Theorems for First-order Logic |
|
|
Tue, Sep 21 |
Hans van Ditmarsch |
One Hundred Prisoners and a Light Bulb |
|
|
Thu, Jul 22 |
Joscha Bach |
Cognitive AI: From AI models to mental representations? |
|
|
Thu, Jan 14 |
Georg Gottlob |
Knowledge Processing, Logic, and the Future of AI |
|
2020 |
|
Tue, Jul 21 |
Cory Doctorow |
Working as Intended -- Surveillance Capitalism is not a Rogue Capitalism |
|
2019 |
|
Fri, Dec 13 |
Torsten Schaub |
Dynamic Answer Set Programming |
|
|
Wed, Dec 4 |
Joost-Pieter Katoen |
Probabilistic Programming: Machine Learning for the Masses? |
|
|
Wed, Nov 27 |
Dominique Larchey-Wendling |
Hilbert’s Tenth Problem in Coq |
|
|
Wed, Nov 20 |
Tommaso Moraschini |
Profinite Heyting algebras and the representation problem for Esakia spaces |
|
|
Mon, Nov 11 |
Prafullkumar Tale |
Lossy Kernels for Graph Contraction Problems |
|