There is a question raised about the research outcomes of the event mentioned in the blog post here: http://cs.stackexchange.com/questions/19001/what-were-the-

There is a question raised about the research outcomes of the event mentioned in the blog post here: http://cs.stackexchange.com/questions/19001/what-were-the-research-outcomes-of-the-univalent-foundations-program-year-homot http://cs.stackexchange.com/questions/19001/what-were-the-re...