Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* Great News from Stockholm
@ 2016-10-24 13:30 Steve Awodey
  0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2016-10-24 13:30 UTC (permalink / raw)
  To: Homotopy Type Theory; +Cc: CMU HoTT

Congratulations to Peter Lumsdaine on his appointment as Assistant Professor in the Mathematics Department at the University of Stockholm!

Proud academic parent,

Steve

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2016-10-24 13:30 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-10-24 13:30 Great News from Stockholm Steve Awodey

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).