Programme Committee

• Clare Dixon, Chair (University of Liverpool)
• Jacques Fleuriot Secretary/Treasurer (University of Edinburgh)
• Brandon Bennett (University of Leeds)
• Alexander Bolotov (University of Westminster)
• Simon Colton (Imperial College London)
• David Crocker (Escher Technologies)
• Louise Dennis (University of Liverpool)
• Roy Dyckhoff (University of St Andrews)
• Ullrich Hustadt (University of Liverpool)
• Mateja Jamnik (Univerity of Cambridge)
• Tom Melham (University of Oxford)
• Alice Miller (University of Glasgow)
• Renate Schmidt (University of Manchester)
• Volker Sorge (University of Birmingham)