Symposium on Theoretical Aspects of Comp