Семинары

Все семинары

Семинар "Теоретическое и экспериментальное программирование"

5 марта пройдет объединенный семинар "Теоретическое и экспериментальное программирование" ИСИ СО РАН и кафедры программирования НГУ (руководитель - Непомнящий В.А.). Начало в 10:50, ком. 254 ИСИ.

Докладчик: Кондратьев Д.А.

Тема: На пути к автоматизации дедуктивной верификации С-программ над одномерными массивами.

Объявляется прием заявок на участие в семинаре "Информатика образования", который пройдет 5-6 июля 2019 г. в рамках 12-й Международной Ершовской конференции по информатике (PSI’2019).

Важные даты:
Заявки на участие и представление тезисов принимаются до 15 марта 2019 г.
Полные тексты докладов принимаются до 4 апреля 2019 г.

Продолжается прием заявок на участие в семинаре "Наукоемкое программное обеспечение (НПО)", который пройдет 2-5 июля 2019 в рамках 12-й международной Ершовской конференции по информатике (PSI’2019).

Полные тексты докладов принимаются до 4 апреля 2019 г.

Более подробная информация - на странице семинара НПО.

Школьники в компьютерном классе ЛШЮП-2017

В четверг 11 января в 15.00 в каб. 254 состоится семинар-круглый стол на тему "Обсуждение программ IT-классов для школьников". Приглашаются все заинтересованные.

ИСИ СО РАН, ИМ СО РАН и ММФ НГУ проводят 4 октября семинар в виде «круглого стола» по проблематике блокчейн – смарт контракты – криптовалюты: https://blockchainworkshop.ru.

Круглый стол "Блокчейн и фундаментальная наука" состоится 4 октября 2017 г. в 16-00, ауд. 4109 нового корпуса НГУ.

Предполагается, что семинар будет установочным, т.е. обозначит проблематику и наш интерес к ней. Если интерес будет достаточным, предполагается продолжение семинаров, формирование совместных проектов. Организаторы приглашают к участию в круглом столе научных сотрудников, программистов и аспирантов ИСИ и дружественных организаций, кому есть что сказать по этим вопросам или просто послушать.

Андрей Петрович Ершов

8 декабря состоится объединенный семинар ИСИ СО РАН и кафедры программирования НГУ по системному программированию (руководители проф. А.Г. Марчук, доц. М.А. Бульонков).

Заседание приурочено ко дню памяти академика Андрея Петровича Ершова (19.04.1931 — 08.12.1988). На семинаре будет представлен доклад И.А. Крайневой «Советские ЭВМ: шесть вопросов Андрея Петровича Ершова академику Михаилу Алексеевичу Лаврентьеву».

Время и место проведения: 8 декабря, в четверг, в 11.00, аудитория 254.
Приглашаются все желающие.

Приглашаем заслушать представления диссертационных работ аспирантов 3 курса в 2016 г.:

23 июня, семинар "Системное программирование"
(рук. А.Г. Марчук, М.А. Бульонков), каб. 254, в 11.00

  1. С.И. Никитин (научный руководитель Е.С. Черёмушкин)
    Тема: Разработки программной системы поиска области связывания с группами транскрипционных факторов на ДНК.
  2. В.В. Парфиненко (научный руководитель М.А. Бульонков)
    Тема: Применение межпроцедурного анализа указателей и синонимов для оптимизации многопоточных программ.

28 июня, семинар "Конструирование и оптимизация программ", каб. 254, в 14.30

  1. Т.А. Золотухин (научный руководитель В.Н. Касьянов)
    Тема: Методы и средства интерактивной визуализации структурированной информации.

Приглашаем посетить семинары, на которых по приглашению ИСИ СО РАН выступят профессора из JAIST (Высшая школа информатики, Япония).

Профессор Сатоши Тохо (Satoshi Tojo) выступит с докладом «Agent, Epistemology, and AI» (Агенты, эпистемология и искусственный интеллект).
Семинар состоится 15 марта в 10:50 в Семинарской комнате ИСИ СО РАН.

Профессор Мицухито Огава (Mizuhito Ogawa) выступит с докладом «Well structured pushdown systems» (Хорошо структурированные магазины).
Семинар состоится 17 марта в 11 часов в Семинарской комнате ИСИ СО РАН.

28.10.2014, во вторник, в 16.00 в к. 254 (семинарская комната) ИСИ СО РАН состоится семинар.

Докладчик:
Кудряшова Екатерина Сергеевна (Комсомольский-на-Амуре государственный технический университет)

Тема:
Модели параллельных систем и их применение для трассировки и расчета времени выполнения параллельных вычислительных процессов (кандидатская диссертация)

Ведущая организация: ИСИ СО РАН.

Предлагаем ознакомиться с программами семинаров «Наукоемкое программное обеспечение» и «Информатика образования». Семинары проводятся в рамках Девятой международной Ершовской конференции по информатике, которая пройдет с 24 по 27 июня 2014 года в Санкт-Петербурге.

3 декабря 2013 года в 14.15 в Институте вычислительных технологий СО РАН (Новосибирск) состоится заседание семинара "Информационные технологии", на котором к.ф.-м.н. О.А. Клименко (ИВТ СО РАН) и А.Н. Медведев (CNS, CEU, Budapest, ИМ СО РАН) выступят с докладом "Алгоритмы и методы нахождения сообществ на примере научных веб-пространств СО РАН и Общества Фраунгофера, Германия".

Работа выполнена в рамках интеграционного проекта СО РАН № 21 «Исследование закономерностей и тенденций развития самоорганизующихся систем на примере веб-пространства и биологических сообществ».
Координатор проекта: чл.-корр. РАН А.М. Федотов
Организации-соисполнители: ИВТ СО РАН, ИБФ СО РАН, ИВМ СО РАН, ИДСТУ СО РАН, ИМ СО РАН, ИОЭБ СО РАН, ИСИ СО РАН, ИСиЭЖ СО РАН, ИФПР СО РАН, ИЦиГ СО РАН, НИОХ СО РАН, ТюмНЦ СО РАН.

Во время заседания семинара будет вестись веб-трансляция.

Во вторник 22 марта 2011 г. состоится семинар "Теоретическое и экспериментальное программирование", который будет состоять из двух частей:

  1. С 10:45 до 12:20 - доклад Дмитрия Сошникова, академического евангелиста от MS, на тему "Функциональное программирование на F#" (представление книги автора).
  2. С 12:30 до 14:15 - круглый стол на тему "Как преподавать функциональное программирование".

Приглашаем вас принять участие. Желающих выступить во время круглого стола (быть панелистами) с короткими сообщениями (10 - 15 минут) о своем подходе к преподаванию предмета - просьба сообщить  по электронной почте Н.В. Шилову.

В рамках 8-й международной Ершовской  конференции по информатике (PSI'11) с 27 июня по 1 июля 2011 г. пройдёт третий семинар "Знания и Онтологии *ELSEWHERE*".

Институт систем информатики им. А.П. Ершова СО РАН проводит в Новосибирском Академгородке рабочий семинар "Наукоемкое программное обеспечение (НПО)". Семинар пройдет в рамках 8-й международной Ершовской  конференции по информатике (PSI'11) с 27 июня по 1 июля 2011 г.

В среду 29 сентября в 239 комнате ИСИ СО РАН состоится тематический семинар "Функциональное и потоковое программирование". Семинар организуется в рамках школы "Потоковая обработка данных и программирование", которая пройдет с 27 сентября по 1 октября 2010 г. в ИВТ СО РАН.

Предварительная программа семинара:

  1. А.В. Шафаренко (Хартфордширский университет) "Потоковая обработка данных: история и современное состояние"
  2. Н.В. Шилов (ИСИ СО РАН) "О классификации парадигм программирования и месте параллельного программирования среди других парадигм"
  3. К. Грэлк (Амстердамский университет) "Архитектурные принципы вычислительных систем с микропотоками"
  4. Кофе-брейк 30 минут.

  5. Р.И. Идрисов (НГУ) "Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов"
  6. Р. Кирнер (Хартфордширский университет) "Высокопроизводительные встраиваемые системы"
  7. С.-Б. Шольц (Хартфордширский университет) "Язык Single Assignment C"
  8. Кофе-брейк 30 минут.

  9. Л.В. Городняя (ИСИ СО РАН) "Об одном учебном языке параллельного программирования" (сообщение)
  10. А.Ю. Власенко (Кемеровский государственный университет) "Разработка информационной системы автоматического анализа корректности параллельных программ" (сообщение)
  11. Н.Е. Андреев (Кемеровский государственный университет) "Инструментальное средство для анализа производительности UPS приложений".

Регламент семинара: доклад - 30 минут, сообщение - 10 минут. Подробности и обновления программы см. на http://conf.nsc.ru/s-hack2010/s-hack2010_fsp-seminar. Приглашаются все желающие.

Семинар организуется при поддержке Новосибирского регионального общественного фонда Информатики и искусства программирования имени академика Андрея Петровича Ершова.

Предлагаем ознакомиться с программой семинара "Наукоемкое программное обеспечение", который пройдет в рамках Шестой международной конференции "Перспективы систем информатики".

Предлагаем вашему вниманию информацию о рабочем семинаре "Наукоемкое программное обеспечение", который пройдет 27-28 июня 2006 г. в Академгородке (Новосибирск) в рамках Шестой международной конференции "Перспективы систем информатики".

Институт систем информатики им. А.П.Ершова СО РАН 10-11 июля 2003 года проводит в Новосибирском Академгородке рабочий семинар "Наукоемкое программное обеспечение (НПО)". Семинар НПО пройдет в рамках Пятой международной конференции "Перспективы систем информатики".