Organization meeting (8/23)
- Lovasz Local Lemma (newish proof)
- CSP (Cai?)
- Park Conjecture
- Combinatorial properties of strings of symbols
- Category theory
- Topology & Computing
- Duality (for relational structures)
It was decided that George would speak next Friday (8/30) to introduce the topic “combinatorial properties of strings of symbols” and Michael would speak the following week on this topic.
There were many nice talks at the BLAST conference earlier this month, and at least three of the topics mentioned above were discussed. Some of the slides for these talks have been posted on the conference schedule page.
Martin Escardo didn’t use slides for his talk on “Interactions between topology and computation,” but he has posted slides for his short course on this topic, and related resources, on this page. Other resources about this and related topics are collected here.