What we're about

This meet-up is open for anyone interested in learning more about or getting involved in functional programming, applied category theory and Petri nets.

Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow compositionality and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for, among other things, distributed systems, blockchains, workflow management systems, application orchestration and system architecture.

Upcoming events (1)

Applying Category Theory to Software Design

Blockchain Embassy

This meetup marks the end of the 3rd Statebox Summit. https://summit.statebox.org/ --- *Preliminary Topics and Speakers* Typedefs - Andre Videla CQL (Categorical Query Language) - Erik Post ZKProofs and Category Theory - Andre Knispel Pasting Diagrams - Jelle Herold --- The full program will be published soon. Stay tuned!

Past events (1)

The Very Blockchain Meetup



Photos (19)

Find us also at