We regularly host talks in the RiSE seminar and VCLA talks series. This subpage summarizes the latest talks in each series - for detailed information or previous talks, please follow the links to the respective websites.

Logo ARiSEVCLA Logo

Date Presenter Title Website
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