Eduardo Barrio @ Reading Group and Ariel Roffe @ WIP Seminar

 

After a workshop-week, we resumed our seminars!

Eduardo Barrio discussed Restall’s ideas about logical pluralism and proofs in the Reading Group, and Ariel Roffe presented his paper “Optimality and Fitness” in our Work in Progress Seminar.