Date: 16-21 September 2019
Location: Berlin, Germany
The event will consist of a research workshop and a hacking lab, followed by a meetup.
We found a beautiful location in a forest near the city.
The research workshop is full, sorry! We invite all interested in learning more about Statebox to join our meetup on 21 September in Berlin.
The workshop is split into two related research tracks:
Wiring Diagrams: Recently, models of wiring diagrams via operads have been developed. The "fill in the blanks" kind of composition that operads offer seems to be very much in line with the requirements of a programming language such as the one Statebox is developing. The aim of this research track is to investigate if wiring diagrams can be used to glue together symmetric monoidal categories. In short, can we have a consistent model of "wiring diagrams of string diagrams?"
Optics: Recently, in Applied Category Theory research, lenses and optics in general are popping up everywhere. Statebox is no exception and we feel optics may be the right tool to realize much of what we are interested in, such as "automagic" form generation. Starting from practical issues we have collected in the last months, we would like to investigate how optics can be used to make code compositional and performing.
Notably, the wiring diagrams formalism covered in the previous track has a lens-like formalization. This makes the two research tracks connected, where the wiring diagrams track deals with theoretical modelling, and the optics one with its efficient implementation.
Moreover, a 24/7 hacking lab will run alongside the research tracks. Here people will be able to experiment with code, to tackle some of our outstanding issues or to just take a break from research.
For questions, please write to