Section: Highlights of the Year

Papers at PODS, LICS, 3 x ICALP, STACS, 2 x IJCAI

This year we obtained exceptional publications in all main theory conferences concerning databases, logic, and artificial intelligence.