Open positions in Logic