The Third Theorema Workshop is
cancelled