[Apologies for multiple postings] Dear friends and colleagues, This is a call for participation in the following events: * CRM conference on TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS Barcelona 23-27 September 2013 and * IMUB preparatory lectures by Peter Lumsdaine on HOMOTOPY THEORY IN TYPE THEORY Barcelona 17-20 September 2013 --------------------------------------------------- To register for the CRM conference on TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS, please see the webpage http://www.crm.cat/2013/ctype where you can find a preliminary list of speakers. Registration closes on September 1st, 2013. Some NSF travel grants are available for young researchers/students affiliated with US universities. ---- To register for the IMUB preparatory lectures by Peter Lumsdaine on HOMOTOPY THEORY IN TYPE THEORY, please see the webpage http://www.ub.edu/HomotopyType2013/ where you will also find an abstract for the lectures and a preliminary schedule. With best regards, Nicola Gambino (on behalf of the organisers) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]