add a bunch of sigbovik proceedings stuff