proceedings of the SEAC 2011 Conference /