• Applying Category Theory to Software Design

    Blockchain Embassy

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


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



    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)


  • The Very Blockchain Meetup



    The meetup marks the end of the Second Statebox Summit (7-15 Sept).

    The event is featuring speakers from academia, the hacker culture and the business world. You can expect good company, a series of compelling talks, music and food. It offers an opportunity for anyone to meet team members, advisors, partners and friends of Statebox.

    Some topics addressed in the talks are related to:
    - functional programming
    - diagrammatic languages
    - category theory
    - cryptoeconomics
    - the impact of the blockchain technology on society

    Program:[masked] Welcome: Coffee & Snacks[masked] Introduction - Jelle Herold, Statebox[masked] Cashing in on Statebox - Josh Harvey, Lamassu
    Coffee Break[masked] What are Diagrammatic Languages - Stefano Gogioso, Oxford
    University[masked] GET Protocol: What Smart Ticketing and Petri Nets Have in
    Common - Sander Regtuijt, Guts Tickets
    Coffee Break[masked] Gamification of Life - Amin Rafiee[masked] Ethical Computing and Natural Systems - Holochain
    Lunch[masked] Law was Code before Code was Law - Florian Glatz,
    Statebox/Bundesblock/Blockchain Embassy[masked] Meetup Organizers of the World, Unite! - Jana Petkanic,
    Coffee Break[masked] Special Session - Statebox[masked] Finally: a Money Theory and a Bank for Central Banks - Viktor
    Winschel, Oicos
    Break - snacks and drinks[masked] Announcement - Fabrizio & Jelle, Statebox[masked] Panel: Visual Programming: Pros and Cons[masked] Drinks & Networking

    Tickets are for sale:
    - for payments with Ideal: https://events.guts.tickets/events/170
    - for credit card and crypto payments: https://eliopay.com/rJwL4uOU7

    Catering is included in the price of the ticket.

    You can find more info about the Second Statebox Summit at https://summit.statebox.org/#/

    Thanks to Holochain, Guts Tickets and BlockchainTalks for helping sponsor the meetup.