24 июня—5 июля 2019

Форма участия: Очная

Срок подачи заявок: 14 января 2019


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

email: cssr@nsu.ru

«Лето информатики в России» будет проходить 24 июня — 5 июля 2019 г. в Новосибирске при организационном участии лаборатории алгоритмики НГУ, Института систем информатики им. А. П. Ершова СО РАН, Института математики им. С. Л. Соболева СО РАН и объединит две международные конференции, серию воркшопов, а также летнюю школу по информатике.

School topics

* Approaches to solving combinatorially hard problems
(complexity analysis, approximation algorithms, parametrized algorithms, randomized
approaches)

* Formal methods in software engineering
(program semantics and specification, software verification techniques)

* Automated Reasoning
(logical calculi, SAT solving, theorem proving)

* Data & Knowledge Engineering
(logic and algebraic models for storage, retrieval, and analysis of data and knowledge)

Call for Workshop Proposals
CSSR welcomes workshop proposals related to the following topics:
— Algorithms and data structures
— Computational complexity
— Formal languages and automata
— Applications of logic in Computer Science
— Databases and information systems
— Knowledge representation and reasoning
— Foundations of software and system development and analysis
— Programming methodology and software engineering


Ключевые слова: Информационные технологии

Добавлено: 05.01.2019

Смотреть похожие мероприятия

Краевая научно-практическая конференция «Строительство и архитектура: технологии среды жизнедеятельности»

29 октября 2020 г. на базе  Ачинского колледжа отраслевых технологий и бизнеса состоится краевая научно-практическая конференция по укрупнённой группе специальностей  08.00.00 Техника и технология строительства «СТРОИТЕЛЬСТВО И АРХИТЕКТУРА: ТЕХНОЛОГИИ …

19-я Международная конференция «Авиация и космонавтика»

С 23 по 27 ноября 2020 года Московский авиационный институт (национальный исследовательский университет) проводит 19-ю Международную конференцию «Авиация и космонавтика». Традиционно конференция выступает площадкой для обмена опытом между всеми участни …

XV Международная научно-практическая конференция ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ – 2020

XV Международная научно-практическая конференция ИННОВАЦИОННЫЕ ТЕХНОЛОГИИ – 2020   (технические и физико-математические науки) 1 октября 2020г.                                                                                             г. Таганрог, РФ …

Повысить рейтинг

Повышение рейтинга дает возможность оставаться объявлению в топе на главной странице, а также на страницах городов, тематик, связанных с объявлением.

Текущее значение: 0

IV Международный конкурс обучающихся и педагогов профессиональных учебных заведений “Professional stars -2020/2021” (1 сессия сезона), 15 октября 2020 г.


10 сентября15 октября 2020
IV Международный конкурс обучающихся и педагогов профессиональных учебных заведений “Professional stars -2020/2021” (1 сессия сезона), 15 октября 2020 г.

Участники конкурса: обучающиеся (студенты, бакалавры, магистранты, аспиранты, докторанты) и педагоги  профессиональных учебных заведений. Подтверждающие или наградные документы: участникам – дипломы победителей, призеров, лауреатов или сертификаты; рук …

Узнать больше