Verification Technology, Systems & Applications
23.01.2010 В рамках обучения на 6 курсе студенты группы Computer Science Иван Монахов и Григорий Ярославцев приняли участие в летней школе Verification Technology, Systems & Applications. Школа проходила с 12-го по 16-ое октября в центре INRIA, Нанси, Франция.Cписок курсов:
Участники выступили с докладами по материалам школы на теоретическом семинаре кафедры. |