Our group organised the 2015 version of the European Joint Conferences on Theory and Practice of Software (ETAPS) at Queen Mary in April 2015. The…
Research group in Theoretical Computer Science at Queen Mary University of London