В рамках семинара «Языки программирования и компиляторы» 8 мая в 17:30 (а. 203) состоится доклад Георгия Лукьянова, выпускника магистратуры ФИИТ 2017 года, а ныне аспиранта Университета Ньюкасла (Великобритания), об описании моделей процессоров и верификации ассемблерных программ на языке Haskell. Приглашаются все желающие.
Карякин Михаил Игоревич