Приглашаем посетить мероприятия "Лета Информатики в России" (http://cssr.nsu.ru) и распространить среди студентов информацию о летней школе, проводимой в составе мероприятий.
В рамках "Лета Информатики» с приглашенными лекциями выступят выдающиеся ученые, среди которых лауреаты престижных международных премий А. Тьюринга, К. Гёделя, Д. Кнута, премий IBM, ACM, IEEE, EATCS.
Научная программа "Лета Информатики в России" включает следующие мероприятия:
- 12ая международная Ершовская конференция по информатике
- 14ый международный симпозиум по информатике в России
- воркшопы: Информатика в образовании, Семантика больших данных и знаний, Наукоемкое программное обеспечение, Семантика, спецификация и верификация программ.
Тематика охватывает широкий круг тем, начиная с фундаментальных вопросов информатики (таких как сложность алгоритмов и подходы к решению алгоритмически трудных задач) и продолжая прикладными аспектами (в том числе, конструирование и анализ программ, инженерия данных и знаний, машинное обучение).
Летняя школа ориентирована на студентов России и ближнего зарубежья, включает учебные курсы специалистов индустрии и ученых-исследователей из Англии, Бельгии, Германии, России по фундаментальным вопросам информатики и прикладным информационным технологиям.
Школа включает две параллельных секции:
- Теория программирования + методы верификации и тестирования ПО
- Методы обработки данных и знаний
Предоставляются трэвел-гранты для студентов.
Присоединяем ниже подробную информацию,
будем очень рады видеть Вас в Новосибирске!
С уважением,
Денис Пономарев
Председатель оргкомитета
Computer Science Summer in Russia
========================================================================
Новосибирский Государственный Университет
Институт систем информатики им. А.П. Ершова
Институт математики им. С.Л. Соболева
проводят летнюю школу по компьютерным наукам
в рамках "Лета Информатики в России" (http://cssr.nsu.ru) – крупнейшего научно-образовательного мероприятия по информатике, которое, помимо Школы, включает две ключевых международных конференции по Computer Science, проводимых в России, и четыре научно-образовательных семинара-воркшопа.
Даты/место проведения Школы: 24 - 29 июня 2019 г.,
Новосибирский государственный университет
Школа включает две параллельных секции:
- Теория программирования + методы верификации и тестирования ПО
- Методы обработки данных и знаний
Лекционные и практические занятия проведут специалисты индустрии и ученые-исследователи из Англии, Бельгии, Германии, России. Предоставляются трэвел-гранты для студентов.
Регистрация, программа Школы и подробная информация о курсах доступна на сайте:
===========================
Novosibirsk State University,
Ershov Institute of Informatics Systems,
and Sobolev Institute of Mathematics
organize a Summer School on Computer Science in the scope of the Computer Science Summer in Russia (http://cssr.nsu.ru).
Computer Science Summer in Russia is a two-week education and scientific forum in the area of Computer Science, which includes the summer school, two largest international conferences on Computer Science held in Russia, and four satellite workshops.
The summer school will take place from 24-29 June, 2019 at Novosibirsk State University.
The school consists of two parallel tracks:
- The Theory of Programming + Methods of Software Verification & Testing
- Tools for Knowledge & Data Processing
Lectures and software tutorials will be held by leading specialists from industry and academia from Belgium, Germany, Russia, UK. Travel grants for students are available.
The school schedule, detailed course information, and registration are available at:
