11 September 2017:
1) You can now see the webpage for the workshop and "summer school" that Brendan and others are running on Applied Category Theory
next April in the Netherlands.
Click the link to read more! You grad students should apply for the summer school now. If the math department were serving pizza from 12 to 1 you would not show up at 12:50. Apply the same level of intelligence to this situation.
> Accompanying the workshop will be a 4-day summer school for a limited number of early-career researchers, also at the Lorentz Center from April 23 to April 27, 2018, as well as a 16-week series of online seminars for up to 16 PhD students and postdocs called the Kan Extension Lab. Applications are due November 1, and admissions will be notified on November 15.
> While attendance at the summer school is not required to attend the online seminar, or vice versa, our intention is for participants to attend both. Participants will have the opportunity to work with established mentors in the field, and will have the opportunity to present their research at the full workshop. Applications are due on November 1.
As I mentioned before, I'll be one of those "established mentors" - but if you get in you should work with someone else, to expand your scope.
2) It hasn't happened yet, but I'll be flying back from Singapore when it does, so:
On Friday, John Foley and Tom Mifflin will give a presentation to some DARPA bigshots about our work on operads. With luck, this will get the more interested in using modern mathematics to design complex networked systems. Here is John's outline, just so you get the idea:
A) Tom Mifflin: Why operads? (5 min)
B) John Foley: An introduction to operads and their algebras (10 min)
b. Algebras of an operad
C) Examples: point-to-point communications (15 min)
a. An operad based on simple graphs
b. An algebra to compose simple graphs
c. An algebra to compose entities with location
d. An algebra for range-limited communications
D) Working at multiple levels with operads (10 min)
a. Layers of abstraction: granularity and detail
b. Formalizing a tool chain to construct operads and compose networks
c. Example of the potential of operads: the recognition principle (time permitting)
E) Conclusion: An R&D path provided by operads (3 min)
a. Match a composition formalism to your domain
b. Leverage the formalism to automate 'recipe authorship’
c. Exploit composition and attempt to integrate with optimization