Paper accepted for presentation at the “Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science”

The paper “Gentle formalisation of Stoughton’s lambda calculus substitution,” authored by faculty members from the School of Engineering, was accepted on June 3, 2014, for presentation at the “Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).” The event, organized by the European Association for Computer Science Logic, will take place from July 14 to 18, 2014, in Vienna, Austria.