zlarin-2017-tables.markdown

layout	title	talks
tables	Event Summary	nov1st-math-talks nov2nd-prog-talks topic speaker summary Greetings / Introductions Everyone introduces themselves, briefly explaining one’s area of activity. topic speaker summary 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. topic speaker summary Intro to Category Theory TBD A brief introduction into the most commonly used methods in category theory, with a particular emphasis on compositionality. topic speaker summary String Diagrams Jules Hedges A tutorial on graphical formalisms for monoidal categories (compact closed/monoidal closed/circuits) topic speaker summary Open Petri Nets Pawel Sobocinski A tutorial on what open Petri nets are, how they compose, and how they can model distributed system behaviour. topic speaker summary Petri Nets Through Spans Christian Williams Another formalism for composition of Petri nets is explored. topic speaker summary 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. topic speaker summary 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.). topic speaker summary Special - Hacker Ethics Jelle Herold What hacker ethics means, its history and how it can be used to set up non-destructive business models. topic speaker summary Functional Programming Frederik Forsberg What is functional programming? How does it differ from other programming methods and how does it allow for compositional code design? topic speaker summary How Are Functional Programming and Category Theory Related? Neil Ghani What is the relation between functional programming and category theory, and how are languages like Haskell/Idris interpreted in categorical models? topic speaker summary Logic Programming and Information Gain Computing Anthony Di Franco What is logic programming and how does it improve the current coding standards? topic speaker summary Formal Verifcation Theory Frederik Forsberg What is formal verification theory and how can it ensure that our code is correct? topic speaker summary The Math That We Want Fabrizio Genovese All the previous topics are briefly reviewed, followed by an explanation of how they should interact in Statebox. topic speaker summary Special - The ICO World in Practice Anton Livaja What it means to work in an ICO project and how the life of the average ICO guy looks like. topic speaker summary Special - Making money with the Blockchain Jelle Herold How to exploit the current market situation to make money out of ICOs, and why it is more profitable than traditional markets.