Computer Science & Logic