Научен семинар на катедра "Компютърни системи" с участие на проф. Бен Московски
На 23.10.2017 г. (понеделник) от 14:00 ч. в заседателна зала на ФМИ ще се проведе научен семинар на катедра "Компютърни системи". Лекция на тема "Интервална темпорална логика" ще изнесе професор Бен Московски от университет Нюкясъл, Англия.