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