This meetup marks the end of the 3rd Statebox Summit. The latest developments will be revealed to the public.



https://summit.statebox.org/



Doors open at 18:00. First talk starts at 19:00. RSVP is mandatory in order to attend.



---



**Program**



18:00 ~ Soundscapes by DJ Patrick



19:00 ~ Talks



20:00 ~ Break



20:30 ~ Talks



21:30 ~ Soundscapes by DJ Patrick



---



**List of Topics and Speakers**



CQL (Categorical Query Language) - David Spivak (MIT)



Typedefs - Andre Videla (Statebox)



ZKProofs and Category Theory - Andre Knispel (Statebox)



Pasting Diagrams - Jelle Herold (Statebox)



Idris-CT - Fabrizio Genovese (Statebox)



Selling Tickets with the Statebox API - Kasper Keunen (Get Protocol)



---