Latest Talks

(» further talks)
Jan
21

Francesco Scarcello

Tree projection width and fixed-parameter tractable queries
Monday, January 21, 2019 at 16:00 c.t.

Jan
15

Fabrizio Montecchiani

Advances on 1-planar graphs
Tuesday, January 15, 2019 at 11:00 s.t.

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.