Computer Science Summer in Russia (CSSR)

June 24 - July 5, 2019
* Ключевые темы в области Компьютерных Наук и Искусственного Интеллекта

* Лекции и практические занятия с использованием программного обеспечения

* Преподаватели из Англии, Бельгии, Германии, России

Новосибирский Государственный Университет,
Институт систем информатики им. А.П.Ершова СО РАН, Институт математики им. С.Л.Соболева СО РАН

проводят летнюю школу по информатике в рамках Лета Информатики в России

Даты/место проведения школы: 24 - 29 июня 2019 г., Новосибирский государственный университет.

Школа включает две параллельных секции:
  • Теория программирования + методы верификации и тестирования ПО
  • Методы обработки данных и знаний
Темы и предварительная программа
Теория программирования Верификация и тестирование ПО Обработка знаний Обработка данных



Понедельник,
24 июня
9:15 - 10:00Открытие школы
10:30 - 12:05 Введение в формальную семантику программ  (1/5) Логические методы инженерии онтологий  (1/4)
12:15 - 13:50 Введение в теорию языков программирования  (1/5) Доступ к данным на основе онтологий  (1/5)
13:50 - 15:20 Обед
15:20 - 16:55 Введение в Проверку Моделей (Model Checking)  (1/4) Методы и алгоритмы машинных рассуждений  (1/2)
17:05 - 18:40 Cовременные технологии тестирования и верификации  (1/3) Методы глубокого обучения для компьютерного зрения  (1/3)



Вторник,
25 июня
  9:30 - 11:05 Введение в формальную семантику программ  (2/5) Логические методы инженерии онтологий  (2/4)
11:15 - 12:50 Введение в теорию языков программирования  (2/5) Доступ к данным на основе онтологий  (2/5)
12:50 - 14:20 Обед
14:20 - 15:55 Введение в Проверку Моделей (Model Checking)  (2/4) Методы и алгоритмы машинных рассуждений (2/2)
16:05 - 17:40 Cовременные технологии тестирования и верификации  (2/3) Методы глубокого обучения для компьютерного зрения  (2/3)
18:00 - 20:00 Пешеходная экскурсия по Академгородку



Среда,
26 июня
  9:30 - 11:05 Введение в формальную семантику программ  (3/5) Логические методы инженерии онтологий  (3/4)
11:15 - 12:50 Введение в теорию языков программирования  (3/5) Доступ к данным на основе онтологий  (3/5)
12:50 - 14:20 Обед
14:20 - 15:55 Лекция от компании Ума.Тех.   Data Science и продуктовая разработка
16:15 - 17:50 Введение в Проверку Моделей (Model Checking)  (3/4) Машинные рассуждения для экспериментальной математики  (1/3)
18:00 - 19:35 Cовременные технологии тестирования и верификации  (3/3) Методы глубокого обучения для компьютерного зрения  (3/3)



Четверг,
27 июня
  9:30 - 11:05 Введение в формальную семантику программ  (4/5) Логические методы инженерии онтологий  (4/4)
11:15 - 12:50 Введение в теорию языков программирования  (4/5) Доступ к данным на основе онтологий  (4/5)
12:50 - 14:20 Обед
14:20 - 15:50 Экскурсия в научно-образовательный центр НГУ Эволюция Земли
16:10 - 17:45 Введение в Проверку Моделей (Model Checking)  (4/4) Машинные рассуждения для экспериментальной математики  (2/3)
17:55 - 19:30 Поддержка верификации систем автоматического управления на основе предметно-ориентированных языков  (1/3) Современные принципы построения промышленных компиляторов  (1/3)



Пятница,
28 июня
  9:30 - 11:05 Введение в формальную семантику программ  (5/5) Машинные рассуждения для экспериментальной математики  (3/3)
11:15 - 12:50 Введение в теорию языков программирования  (5/5) Доступ к данным на основе онтологий  (5/5)
12:50 - 14:20 Обед
14:20 - 15:55 Поддержка верификации систем автоматического управления на основе предметно-ориентированных языков  (2/3) Современные принципы построения промышленных компиляторов  (2/3)
16:05 - 17:40 Поддержка верификации систем автоматического управления на основе предметно-ориентированных языков  (3/3) Современные принципы построения промышленных компиляторов  (3/3)



Суббота,
29 июня
  9:30 - 11:05 Метод конечных контрмоделей (FCM) для верификации параметризованных систем и систем с бесконечным числом состояний  (1/2) Логико-вероятностные методы машинного обучения для задач прогнозирования и управления робототехническими системами (1/2)
11:15 - 12:50 Метод конечных контрмоделей (FCM) для верификации параметризованных систем и систем с бесконечным числом состояний  (2/2) Логико-вероятностные методы машинного обучения для задач прогнозирования и управления робототехническими системами (2/2)
13:10 - 13:40Закрытие школы
13:40 - 15:00 Обед
15:00 - 19:00 Автобусная экскурсия в центр Новосибирска