Workshop: Adaptive program logic for times of rapid change (Online 26 August 2020)