Участие в международной конференции "Формализация семантики языков программирования и конструкция компиляторов"