* CRM conference "Type Theory, Homotopy Theory and Univalent Foundations" (call for participation)
@ 2013-08-01 21:59 Nicola Gambino
0 siblings, 0 replies; only message in thread
From: Nicola Gambino @ 2013-08-01 21:59 UTC (permalink / raw)
To: categories
[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/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-08-01 21:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-08-01 21:59 CRM conference "Type Theory, Homotopy Theory and Univalent Foundations" (call for participation) Nicola Gambino
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).