18-22 July 2011
Barcelona, Spain
Infinity Conference Centre de Recerca Matematica, Bellaterra, Spain July 18--22, 2011 This event will focus on interdisciplinary work in mathematical logic, with connections to theoretical computer science and the philosophy/history of set theory. It will serve as the culmination of the Infinity Project, an interdisciplinary project in logic hosted at the CRM and funded by the John Templeton Foundation during 2009-2011. Confirmed invited speakers include: T. Arrigoni, J. Baldwin, J. Flum, T. Hyttinen, J. Knight, Martin Koerwien, R. Miller, and M. Mller. The members of the Scientific Committee are: J. Baldwin, M.L. Bonet, S.-D. Friedman (Chair), J.C. Martinez, and M. Rathjen. For more information, including how to register and apply for financial support, visit http://www.crm.cat/ and follow the links "Conferences and Workshops'' and "Infinity Conference''.