As systems based on human-agent collectives grow in scale, complexity and temporal extent, we will increasingly require a principled science that allows us to reason about the computational and human aspects of these systems if we are to avoid developments that are unsafe, unreliable and lack the appropriate