Date: 16-21 September 2019
Location: Berlin, Germany
The event will consist of a research workshop and a hacking lab, followed by a meetup. The exact location of the meetup is yet to be determined.
We found a beautiful location near the city, more details will follow.
The research workshop is full, sorry!
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.
The research workshop is invite-only and is full, sorry.
The meetup is open for anyone to attend and will be held in the city of Berlin.
TBA, see meetup.com/statebox for last year.
For questions, please write to