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 |
