International Conference on Foundations of Computer Science (FCS 2012) Conference