[Iris] Workshop on Logic and Its Philosophy Feb 8-9