codecentric mittendrin

Meetups, Stammtische, Hackathons, User Groups: Die codecentric ist weit mehr als die Summe ihrer Mitarbeiter und Projekte.

Hinter jeder erfolgreichen Software steht eine starke Community

Wissensvermittlung, Nachwuchsförderung und der fachliche Austausch auf Augenhöhe sind für uns Herzensangelegenheiten. Wir sind der Meinung: Geteilte Innovationsfreude ist doppelte Innovationsfreude.

Deshalb mischen sich codecentric-Mitarbeiter und -Mitarbeiterinnen gerne unter die Community – ob als Gastgeber, Redner oder Organisatoren diverser Veranstaltungen. Treffen Sie uns auf einem der folgenden Events!

Frankfurt Haskell User Group

Frankfurt Haskell User Group

codecentric, Kreuznacher Straße, Frankfurt am Main, Deutschland 28.08.2017 | 19:00

Visual Semantics of Game Theory in Category Theory and Haskell

OICOS ( is a start-up company and programming language build on a new modern foundation of economics. We use the same foundation as the one of computer science in order to cure some deep and known but so far not mathematised methodological problems in current economics. The mathematics we base economics on are higher-order functions or lambda calculus and in more recent terms it is type and category theory. To get economics right we have developed a game theoretical language which is visual (with string diagrams as a programming language analogous to the one used for quantum computing), compositional (with a formal functorial semantics), reflexive (with higher-order goals for agents as generalised max utility operators) and consistent (with invariance principles for logical specifications or national accounting invariances in order to get money theory right). The research that has lead to this approach in economics has been ongoing since 10 years in Mannheim, ETH, Oxford and Glasgow. It is now becoming practical with the beginning of a Haskell system being implemented in cooperation with FP Complete as an Amazon cloud system based on kubernetes, jenkins and docker technology. I will show the current state of the software and sketch some of the current and future directions we are envisioning for our research, software, projects and company. The application areas are smart contracts (much beyond the state of the art in Etherum), custom currencies (not quite like the ones based on blockchains), decentralised energy networks or social approaches to AI and econometric generalisations of machine learning.0


Markus Hauck