2018-2019

С/к "Визуализация графов"

19.09.2018

Доцент АПАНОВИЧ З.В. начинает чтение с/к "Визуализация графов".

Лекции будут проходить по пятницам в 14:30 , в семинарской комнате ИСИ СО РАН ( к. 254 ).
Первое занятие состоится 28 сентября 2018 года .

С/к "Java-технологии"

17.09.2018

Начинается чтение спецкурса "Java-технологии".

Лекции будут проходить по четвергам с 16:20 в ауд. 5251 нового учебного корпуса НГУ.

Первое занятие состоится 20 сентября.

С/к "Методы верификации программ"

03.09.2018

Полугодовой спецкурс "Методы верификации программ" будет проходить по средам в 10:50, в семинарской комнате ИСИ СО РАН (к.254).
Лектор: к.ф.-м.н. Марьясов И.В.

Первая лекция состоится 19 сентября 2018 года.