<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">[Apologies for multiple postings]<div><br></div><div>Dear friends and colleagues,<br><br>This is a call for participation in the following events:<br><br>* CRM conference on TYPE THEORY, HOMOTOPY THEORY AND UNIVALENT FOUNDATIONS<br>Barcelona 23-27 September 2013<br><br>and<br><br>* IMUB preparatory lectures by Peter Lumsdaine on HOMOTOPY THEORY IN <br>TYPE THEORY<br>Barcelona 17-20 September 2013<br><br>---------------------------------------------------<br><br>To register for the CRM conference on TYPE THEORY, HOMOTOPY THEORY AND<br>UNIVALENT FOUNDATIONS, please see the webpage<br><br><a href="http://www.crm.cat/2013/ctype">http://www.crm.cat/2013/ctype</a><br><br>where you can find a preliminary list of speakers. Registration closes<br>on September 1st, 2013.<br>Some NSF travel grants are available for young researchers/students<br>affiliated with US universities.<br><br>----<br><br>To register for the IMUB preparatory lectures by Peter Lumsdaine on<br>HOMOTOPY THEORY IN TYPE THEORY, please see the webpage<br><br><a href="http://www.ub.edu/HomotopyType2013/">http://www.ub.edu/HomotopyType2013/</a><br><br>where you will also find an abstract for the lectures and a<br>preliminary schedule.<br><br><br>With best regards,<br>Nicola Gambino (on behalf of the organizers)</div></body></html>