MBT@ETAPS 2012: Tallinn, Estonia