EPTCS 106 - TFPIE 2012