(no subject)

[am]

The Defense Department has
awarded a $7.5 million grant
to Steve Awodey of CMU,
Vladimir Voevodsky of the IAS
and others to support research
in Homotopy Type Theory and the
foundations of mathematics. (Via).
The article of Voevodsky
is revised 28 Jun 2014.