Computer Lab, GC22 2020-03-12 13:00: A Syntactic View of Computational Adequacy (Marco Devesas Campos, University of Birmingham)