[finite-model-theory] 14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI