Skip to content

Applying Category Theory to Software Design

Photo of Emi
Hosted By
Emi
Applying Category Theory to Software Design

Details

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)

---

Photo of Statebox group
Statebox
See more events
Blockchain Embassy
Manteuffelstraße 77 · Berlin, BE