Second St. Petersburg Days of Logic and Computability