2-я международная конференция "Санкт-Петербургские дни логики и вычислимости"