Программа

заседания секции по формальным аспектам языков программирования.