Talks
We regularly host talks in the RiSE seminar and VCLA talks series. The following table summarizes the latest talks in each series – for detailed information or previous talks, please follow the links to the respective websites.
Hans van Ditmarsch | Reasoning about Gossip | Wed, May 25 at 17:00 | Seminarraum FAV EG C… | details | |
Manfred Scheucher (TU Berlin) | A brief introduction to Combinatorial Geometry | Tue, Apr 05 at 17:00 | FAV 02 (HH EG 03, Fa… | details | |
Georg Gottlob | Knowledge Processing, Logic, and the Future of AI | Thu, Jan 14 at 17:00 | Online (Vienna) | details | |
Torsten Schaub | Dynamic Answer Set Programming | Fri, Dec 13 at 14:15 | Seminarraum FAV 01 C… | details | |
Joost-Pieter Katoen | Probabilistic Programming: Machine Learning for the Masses? | Wed, Dec 04 at 10:30 | Kontaktraum, Gußhau… | details | |
Thu, Jan 01 | details | ||||
Lutz Strassburger | Combinatorial Proofs and Decomposition Theorems for First-order Logic | Thu, Jan 01 | details | ||
Hans van Ditmarsch | One Hundred Prisoners and a Light Bulb | Thu, Jan 01 | Seminarraum FAV 01, … | details | |
Joscha Bach | Cognitive AI: From AI models to mental representations? | Thu, Jan 01 | Virtual | details | |
Cory Doctorow | Working as Intended -- Surveillance Capitalism is not a Rogue Capitalism | Thu, Jan 01 | VIRTUAL | details |