Latest Talks

(» further talks)
Apr
5

A brief introduction to Combinatorial Geometry
Tuesday, April 5, 2022 at 17:00 (s.t.)

Jan
14

World Logic Day Lecture: Moshe Y. Vardi

Friday, January 14, 2022

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