12 November 2017:
A huge amount of progress this week!
1) Most of the people on this list gave talks at the AMS special session on applied category theory. Almost all the talk slides from this session are here now:
We had lots of great conversations with all the visitors, and I have piles of new ideas to work on.
2) Christian Barrett Williams went to the Statebox conference
in Croatia, and came back and gave a report on Wednesday.
3) Joseph Moeller went to visit Metron and attend a meeting where they showed off their work to DARPA. I hope he'll give us a report next Wednesday.