What we're about

This meet-up is open for anyone interested in functional programming, category theory, Petri nets, formal methods, etc.

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.

Follow us on twitter for frequent updates and releases.

Past events (2)

Applying Category Theory to Software Design

Needs a location

The Very Blockchain Meetup

Needs a location


Photos (31)

Find us also at