8th Connexive Logic Workshop