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 safeguards to ensure societal acceptance. Delivering this science is the core research objective of this programme.