Royal Society

Programming the social computer: using computational logic to specify webs of interaction

The aim of programming the global computer was identified by Robin Milner and others as one of the grand challenges of computing research. The Internet, however, has brought with it a different style of computation that operates in a style different to those with which we are familiar.

... more
... show video and hide description