<team/> <talks/>

Zlarin Summit 2017 Event Talks

Nov 1st Talks

Topic Speaker Summary Link
Greetings / Introductions Everyone introduces themselves, briefly explaining one’s area of activity.
What Statebox is About Jelle 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. Video Recording
Categories through String Diagrams Jules Hedges A brief introduction into the most commonly used methods in category theory via graphical formalisms for monoidal categories (compact closed/monoidal closed/circuits). Video Recording
Open Petri Nets Pawel Sobocinski A tutorial on what open Petri nets are, how they compose, and how they can model distributed system behaviour. Video Recording
Petri Nets Through Spans Christian Williams Another formalism for composition of Petri nets is explored. Video Recording
Open Games Neil Ghani A tutorial on what open games are, how they compose and how they can be useful in optimizing economic and computational issues. Video Recording
Special - How The Blockchain Works in Practice Fabrizio 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.). Video Recording
Special - Hacker Ethics Jelle Herold What hacker ethics means, its history and how it can be used to set up non-destructive business models. Video Recording

Nov 2nd Talks

Topic Speaker Summary Link
Functional Programming Fredrik Nordvall Forsberg What is functional programming? How does it differ from other programming methods and how does it allow for compositional code design? Video Recording
Typedefs.com Jelle Herold 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? Video Recording
Data types, categorically Neil Ghani What is the relation between data types in functional programming and category theory, and how are they interpreted in categorical models? Video Recording
Logic Programming and Information Gain Computing Anthony Di Franco What is logic programming and how does it improve the current coding standards? Video Recording
Formal Verifcation Theory Fredrik Nordvall Forsberg What is formal verification theory and how can it ensure that our code is correct? Video Recording
Open Games for Custom Currencies in Social Engines Viktor 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). Video Recording

Nov 3rd Talks

Topic Speaker Summary Link
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? Video Recording

Nov 5th Talks

Topic Speaker Summary Link
Producing Insulin through Biohacking Anthony Di Franco Antony explains how to apply hacking concepts to biology, to edit and make better our genetic code in a DIY fashion. Video Recording
CPN Tools Demo Alex Norta Alex is going to show how CPN tools works and why it is useful in the context of Petri nets. Video Recording
Oicos Demo Viktor Winschel Viktor shows how the preliminary version of Oicos software works. Video Recording