Latest Talks

(» further talks)
Oct
20

Talk: Lutz Strassburger

Combinatorial Proofs and Decomposition Theorems for First-order Logic
Wednesday, October 20, 2021 at 5.00 pm

Sep
21

Talk: Hans van Ditmarsch

One Hundred Prisoners and a Light Bulb
Tuesday, September 21, 2021 at 4.30 pm

Jul
22

Logic Lounge with Joscha Bach

Cognitive AI: From AI models to mental representations?
Thursday, July 22, 2021 at 11am – 12pm PDT / 8pm – 9pm CEST (Vienna)

Jan
14

Georg Gottlob

Knowledge Processing, Logic, and the Future of AI
Thursday, January 14, 2021 at 17:00

Jul
21

Public LogicLounge with Cory Doctorow

Working as Intended — Surveillance Capitalism is not a Rogue Capitalism
Tuesday, July 21, 2020

Dec
13

Torsten Schaub

Dynamic Answer Set Programming
Friday, December 13, 2019 at 14:15 c.t.