Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"
5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI
.jpg "Открыт прием постдоков в лаборатории ФКН")
Открыт прием постдоков в лаборатории ФКН
Открыт прием заявок на позиции российских постдоков в лаборатории факультета компьютерных наук.
Подведены итоги конкурса НИРС-2020
Антон Ригин, студент 2 курса магистерской программы "Системная и программная инженерия", занял 1 место в номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов магистратуры и выпускников 2020 года».
Работа на тему «Reference and data semantic-based simulator of Petri Nets extension with the use of Renew tool» выполнена под руководством научного сотрудника НУЛ ПОИС Шершакова Сергея Андреевича.
Поздравляем коллег!
XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020
Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
О проблеме эквивалентности последовательных программ с процедурами
Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории
