Please scroll down to review the full set of proposed sessions or click on a title to jump directly to a specific description. Quick Links S1: Chronological modelling II: formal methods and research software Session Organisers:Eythan Levy, University of ZurichThomas Huet, University of Oxford Description Session Format: Standard Time and its analysis are at the … Continue reading Conference Sessions