К сожалению, приехать на коллоквиум по теории автоматов и языкам программирования не сможет: на август запланирован симпозиум в Новосибирске; предлагает потом обменяться материалами.