For the HoTT audience, I would like to emphasize the talk by Mike Shulman 
in particular.

Best,
Kohei

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/7bb0b094-ae2d-4989-956f-f144557df3aa%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.