Автор: alexm

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 795
26 марта 2013
254 ИСИ СО РАН
Время: 14.30
————————————————————
Р.И. Идрисов
«Модель параллелизма SCOOP языка Eiffel
(обзор доклада Бертрана Мейера
на конференции APLAS-2012)»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 794
19 марта 2013
254 ИСИ СО РАН
Время: 14.30
————————————————————
Ю.В. Малинина
«Индексирование и поиск научной литературы»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 793
26 февраля 2013
254 ИСИ СО РАН
Время: 14.30
————————————————————
Р.И. Идрисов
«Роль динамических языков программирования в современном мире
(обзор приглашённого доклада от Jan Vitek
конференции APLAS 2012)»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 792
Совместно с семинаром
«Теоретическое и экспериментальное программирование»
19 февраля 2013
254 ИСИ СО РАН
Время: 14.30
————————————————————
Айжан Сатекбаева
(Евразийский национальный университет им. Л.Н. Гумилёва,
Астана, Казахстан)
Реферат статьи Reynolds J.C. «Separation Logic:
A Logic for Shared Mutable Data Structures»
(IEEE Symposium on Logic in Computer Science, 2002)
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 791
25 декабря 2012
268 ИСИ СО РАН
Время: 11.00
————————————————————
Зачет
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 790
18 декабря 2012
268 ИСИ СО РАН
Время: 14.15
————————————————————
Р.И. Идрисов
Впечатления от конференции «10th Asian Symposium on
Programming Languages and Systems (APLAS-2012)»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 789
11 декабря 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
А.П. Стасенко
Впечатления от конференции
«Разработка ПО 2012» CEE-SECR 2012
Продолжение: Поддержка облачных вычислений
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 788
4 декабря 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
А.П. Стасенко
Впечатления от конференции
«Разработка ПО 2012» CEE-SECR 2012
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 787
27 ноября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
Л.С. Мельников
«Вершинное хроматическое число — к-критические графы»
————————————————————

————————————————————
Объединенный семинар ИСИ СО РАН и НГУ
«Конструирование и оптимизация программ»
(проводится с 1979 года)
Руководитель — проф. В.Н. Касьянов
http://pco.iis.nsk.su/seminar
————————————————————
Заседание N 786
20 ноября 2012
254 ИСИ СО РАН
Время: 14.15
————————————————————
В.Н. Касьянов
«О визуализации информации на основе графовых моделей»
————————————————————