Latest Talks

(» further talks)
Jan
7

Marijn Heule

Massively Parallel Solving of Math Problems
Monday, January 7, 2019 at 17:00 c.t.

Dec
12

Sanjay Modgil

Logic, Argument and Dialectic
Wednesday, December 12, 2018 at 16: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.