Latest Talks

(» further talks)
Dec
12

Sanjay Modgil

Logic, Argument and Dialectic
Wednesday, December 12, 2018 at 17:00 c.t.

Nov
23

Sebastian Rudolph

The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
Friday, November 23, 2018 at 14:30 s.t.

Nov
23

Fredrik Heintz

Reasoning and Learning over Streams for Safe Autonomous Systems
Friday, November 23, 2018 at 13:30 s.t.

Nov
22

Luca Cardelli

Programming with Chemical Reactions
Thursday, November 22, 2018 at 16:00 c.t.

Nov
19

Vladimir Lifschitz

How We Studied the Input Language of gringo
Monday, November 19, 2018 at 12:30 s.t.

Nov
8

Moshe Vardi and Hans Akkermans

How the Hippies Destroyed the Internet
Thursday, November 8, 2018 at 18:15 s.t.