Computer Science Summer in Russia (CSSR)

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

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

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

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

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

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

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



Понедельник,
24 июня
9:00 - 9:50Открытие школы
10:00 - 11:35 Введение в формальную семантику программ  (1/5) Логические методы инженерии онтологий  (1/4)
11:45 - 13:20 Введение в теорию языков программирования  (1/5) Доступ к данным на основе онтологий  (1/5)
13:20 - 14:50 Обед
14:50 - 16:25 Введение в Проверку Моделей (Model Checking)  (1/4) Методы и алгоритмы машинных рассуждений  (1/2)
16:35 - 18:10 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:30 - 16:05 Введение в Проверку Моделей (Model Checking)  (2/4) Методы и алгоритмы машинных рассуждений (2/2)
16:15 - 17:50 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:30 - 16:05 Введение в Проверку Моделей (Model Checking)  (3/4) Машинные рассуждения для экспериментальной математики  (1/3)
16:15 - 17:50 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:30 - 16:05 Введение в Проверку Моделей (Model Checking)  (4/4) Машинные рассуждения для экспериментальной математики  (2/3)
16:15 - 17:50 Поддержка верификации систем автоматического управления на основе предметно-ориентированных языков  (1/3) Современные принципы построения промышленных компиляторов  (1/3)
18:00 - 22:00 Экскурсии



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



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