News

July 12, 2019

What is the meaning of digitalization? By digitalization we mean the influence of computers on our economy and society. We explain this phenomenon by considering the similarities and differences of mechanics, computer science, and economic and social theories. The hope is to understand what we can expect from digitalization and how we can shape this process.

Read in Digitalization and Society about the background of our technology.

November 6, 2018

We have implemented a money theory that is derived from Adam Smith's example of labor sharing in nail production.The photo shows the code of the money theory being dedicated to Adam Smith's statue in Edinburgh.

April 26, 2018

OiCOS is participating as one of the three emerging start ups (Categorical Informatics and Statebox being the other two) in the workshop of the new emerging and exciting interdisciplinary field of applied category theory. The mathematics of category theory is more and more identified as being perfectly tailored towards applications in complex systems like economies and its sciences of economics, game theory and econometrics. We are very happy that our research and now business is part of this newly developed scienti...

April 5, 2018

We are pleased to be able to announce the second open games workshop in Oxford.

April 5, 2018

We are proud that our paper on compositional game theory has been accepted at LiCS 2018 (Logic in Computer science) which is a well respected conference and publication venue of computer science.

March 29, 2018

OiCOS is the result of a search for a mathematical approach to the complications of optimal currency areas. It is since about 2008 accompanied by studies in category theory. Recently theoretical and applied researchers from universities and industry met at NIST near Washington to bridge the gap from theory to practise for complex systems by category theory. OiCOS was one of three startup companies Computational Informatics and Statebox.

March 9, 2018

Our paper on sensitivity analysis in economics has been accepted for publication in the journal Quantitative Economics.

February 27, 2018

OiCOS had the pleasure to take part at the FireCamp start up workshop. We have been challenging our business model with many experienced mentors, we have met other startups and talked to many interesting business people from various industries and companies. This camp was a great experience to us at OiCOS.

January 22, 2018

Statebox and OICOS had an interesting summit at Zlarin, Croatia. Christian Williams has now published an article about Statebox and the summit on his PhD advisor's, John Baez, blog. John is working with category theory towards the quantum gravitational theory of everything but also network theory and open systems among many many other amazingly interesting topics. Here is John's blog.

November 4, 2017

We are join forces with statebox. The idea is to add a network layer below our open games as a process language based on Petri nets.

July 13, 2017

We have set up a workshop series on our open games. The first one took place in Glasgow at the Strathclyde University and was a nice success with interesting results.

June 1, 2017

We have now a running prototype. It allows to compose an infinite horizon decision problem and solves it with a standard value function iteration. The resulting optimal decision can be plotted. This is an example of a battery model for renewable energy grids. Almost all components are now at work: UI, numerics, plotting. We have also an estimation process at work that takes data for the exogenous processes into account before the optimisation sets in. The compiler can be used to connect the string diagrams with the...

March 14, 2017

The main software components are finished: UI, compiler, engine, numerics. We start modelling and combine the components of our new system. It features continuous integration and backend on the Amazon cloud  and the front end for the construction of games as string diagrams.

February 20, 2017

Aaron Contorer is the CEO of FP Complete, the company we work with to produce our software. He gives a talk on the revolutionary programming language Haskell and the tools that we use as well. Haskell and its underlying mathematical theory is also the base of the mathematics we use for economic modelling. This mathematics is now at the core of problems of modern mathematics. Given that we have in our team some prominent researchers who are leading this development of mathematical computer science we are very lucky t...

February 16, 2017

The numerics engine is working with automatic differentiation on top of a powerful numerics library.

Please reload