Computer Science Summer in Russia (CSSR)
Computer Science Summer in Russia (CSSR)
June 24 - July 5, 2019
* Ключевые темы в области Компьютерных Наук и Искусственного Интеллекта
* Лекции и практические занятия с использованием программного обеспечения
* Преподаватели из Англии, Бельгии, Германии, России
* Лекции и практические занятия с использованием программного обеспечения
* Преподаватели из Англии, Бельгии, Германии, России
Новосибирский Государственный Университет,
Институт систем информатики им. А.П.Ершова СО РАН, Институт математики им. С.Л.Соболева СО РАН
провели летнюю школу по информатике в рамках Лета Информатики в России
Даты/место проведения школы: 24 - 29 июня 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 | Автобусная экскурсия в центр Новосибирска | |