Thomas Hildebrandt presents how graph models can be used for representation of machine-readable regulations, rules and distributed processes in a flexible and maintainable way supporting both human understanding and automated execution.

In this DIREC talk Kim Guldstrand Larsen presents and discusses how to combine formal verification and AI in order to obtain optimal AND guaranteed safe strategies.

Women are widely underrepresented in Computer Science. We will consider why this is a problem from a societal, institutional, and individual level.

Legal principles, philosophy and doctrines are the pillars of modern society.  It is tempting to believe that,   while specific laws and regulations adapt to the particular technologies of the time, the basic legal principles and doctrines remain unchanged – and guide us in regulating and harnessing technology. 

The interactive entertainment industry has grown dramatically in the past decade and is recently projected to reach 230 billion USD in global yearly revenue, making it one of the super-heavyweight sectors in entertainment. Estimates place the number of people worldwide who currently play computer games at over 4 billion.

Professor Pernille Bjørn from University of Copenhagen will take us though the different frameworks and discuss the fundamental challenges in distributed and hybrid work before she presents potential ideas for how to move forward in an organization in terms of future work situations.

Software engineers developing mobile, IoT, wearable and ubiquitous systems are faced with a range of challenges, e.g. to create useful solutions that help users. Mikkel Baun Kjærgaard presents engineering tactics and open-source software technologies that help implement tactics in practice.