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

email: cssr@nsu.ru

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

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

«Лето информатики в России» будет проходить 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

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

27th International conference on Materials Science and Nanotechnology

27th International Conference on Materials Science & Nanotechnology will be organized around the theme “Innovative Approach and Recent Developments in Materials Science & Nanotechnology”. Euro Materials 2020 is comprised of keynote and speakers …

II Всероссийская научная конференция «Организация строительного производства»

04 – 05 февраля 2020 года с 10:00 до 17:00 Рабочий язык мероприятия – русский Целевая аудитория: Преподаватели вузов, представители профессионального сообщества, в т.ч. руководители и сотрудники проектных организаций; студенты магистратуры, аспиранты, …

Международная научно-практическая конференция «ЧИСТАЯ НАУКА» НА СЛУЖБЕ НАУЧНО-ТЕХНИЧЕСКОГО ПРОГРЕССА

Международная научно-практическая конференция «ЧИСТАЯ НАУКА» НА СЛУЖБЕ НАУЧНО-ТЕХНИЧЕСКОГО ПРОГРЕССА   08 февраля 2020 г.                                                                         г. Магнитогорск, РФ Шифр конференции: МНПК-ТТ-66     ОБЩАЯ …

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

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

Текущее значение: 0
Закрыть меню
×
×

Корзина