The Coq mailing list

[Nicola Gambino <n.gambino AT leeds.ac.uk>]

[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 organizers)