CFP: 7th Symposium on the Mathematical Aspects of Computer Science 2014 (SMACS2014 CFP)