EPTCS 80 - MBT 2012