Tomer Kotek

Applications of logic in graph theory: definability of graph invariants
Thursday, November 29, 2012 at 17:00

Madalina Erascu

Joint work with Tudor Jebelean (RISC, Austria) and Hoon Hong (NCSU, USA)

Christoph Lenzen

Fast Routing Table Construction Using Small Messages

Miroslaw Truszczynski

Connecting first-order ASP and the logic FO(ID) through reducts
Thursday, November 15, 2012 at 15:00

James Delgrande

Revising Horn Theories
Monday, November 5, 2012 at 16:00