3rd Statebox Summit
Date: 16-21 September 2019
Location: Berlin, Germany
The event will consist of a research workshop and a hacking lab, followed by a meetup.
Workshop
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.
Topics for the Research Workshop
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.
List of Attendees - Research Workshop
- Jules Hedges (Max Planck Institute for Mathematics in the Sciences)
- Brendan Fong (MIT)
- David Spivak (MIT)
- Pawel Sobocinski (University of Tallinn)
- Christina Vasilakopoulou (University of California, Riverside)
- Frederik Nordval (University of Strathclyde)
- Yoichi Hirai (Independent Researcher)
- Fabio Zanasi (University College London)
- Stefano Gogioso (University of Oxford)
- Eliana Lorch (University of Oxford)
- Jelle Herold (Statebox)
- Fabrizio Genovese (Statebox)
- Emi Gheorghe (Statebox)
- Erik Post (Statebox)
- Alex Gryzlou (Statebox)
- Andre Videla (Statebox)
- Andre Knispel (Statebox)
- Marco Perone (Statebox)
- Sjoerd Visscher (Statebox)
Meetup
The meetup is public and will be held at the Blockchain Embassy in Berlin on 21 September. If you would like to attend, RSVP here.
Contact
For questions, please write to summit@statebox.io