Logic for the new AI spring, 12-16 September