Days in Logic 2022