EPTCS 90 - AUTOMATA & JAC 2012