Workshop: Adaptive program logic for times of rapid change (Online 16 September 2020)