Zlarin Summit 2017
Nov 1st Talks
What Statebox is AboutJelle Herold
Jelle will explain the general idea behind the Statebox project, and what we are trying to achieve from a business/practical applications point of view.
Categories through String DiagramsJules Hedges
A brief introduction into the most commonly used methods in category theory via graphical formalisms for monoidal categories (compact closed/monoidal closed/circuits).
Open Petri NetsPawel Sobocinski
A tutorial on what open Petri nets are, how they compose, and how they can model distributed system behaviour.
Petri Nets Through SpansChristian Williams
Another formalism for composition of Petri nets is explored.
Open GamesNeil Ghani
A tutorial on what open games are, how they compose and how they can be useful in optimizing economic and computational issues.
Special - How The Blockchain Works in PracticeFabrizio Genovese / Anton Livaja
A brief overview on the blockchain technology and how to use it on a regular basis (wallet types, how to withdraw money/make transactions, etc.).
Special - Hacker EthicsJelle Herold
What hacker ethics means, its history and how it can be used to set up non-destructive business models.
Nov 2nd Talks
Functional ProgrammingFredrik Nordvall Forsberg
What is functional programming? How does it differ from other programming methods and how does it allow for compositional code design?
What is typedefs.com? Or what should it be? Can we give a universal typedefinition language restricted enough to be compatible with many other systems yet remain useful?
Data types, categoricallyNeil Ghani
What is the relation between data types in functional programming and category theory, and how are they interpreted in categorical models?
Logic Programming and Information Gain ComputingAnthony Di Franco
What is logic programming and how does it improve the current coding standards?
Formal Verifcation TheoryFredrik Nordvall Forsberg
What is formal verification theory and how can it ensure that our code is correct?
Open Games for Custom Currencies in Social EnginesViktor Winschel
Basic problems in money theory are introduced, along with an invariance based approach pointing towards algorithmic central banks and custom currencies (such as crypto).
Nov 3rd Talks
What is Mechanism Design?Philipp Zahn
Given a product, how we can design the best way to allocate it according to how much different people evaluate it?