ИСП РАН
1.45K subscribers
728 photos
29 videos
19 files
465 links
Download Telegram
SYRCoSE 2025.pdf
144.5 KB
❗️1 апреля истекает срок подачи статей на ежегодный коллоквиум молодых учёных в области программной инженерии – SYRCoSe (Spring/Summer Young Researchers' Colloquium on Software Engineering).

✔️В этом году он состоится 29-31 мая в Пятигорске. Организаторами выступают ИСП РАН, СПбГУ и Северо-Кавказский федеральный университет, в филиале которого и пройдёт SYRCoSE.

➡️Главная цель SYRCoSE – предоставить возможность студентам, аспирантам и молодым учёным поделиться результатами своих исследований, а также получить опыт написания и презентации научных докладов в международном формате. Именно поэтому рабочий язык коллоквиума – это английский.

➡️Традиционно программа коллоквиума охватывает широкий ряд тем – от анализа трафика и безопасности сетей до использования искусственного интеллекта в программной инженерии. Избранные статьи участников публикуются в «Трудах ИСП РАН», которые индексируются в РИНЦ и включены в перечень ВАК.

✔️SYRCoSE проводится с 2007 года в мае-июне, объединяя представителей различных вузов. Участники конференции уже собирались в Москве, Санкт-Петербурге, Нижнем Новгороде, Екатеринбурге, Перми, Казани, Самаре, Иннополисе, Великом Новгороде, Саратове, Пензе и Ставрополе.
✔️ 22-26 сентября 2025 года в Ереване состоится 15-я Международная конференция по информатике и компьютерным наукам!

➡️ Организаторы:

- Национальная академия наук республики Армения (НАН РА)
- Институт проблем информатики и автоматизации НАН РА

➡️ Конференция проводится каждые два года и объединяет учёных, представителей индустрии и государственных ведомств. В состав Программного комитета входят представители научных организаций Армении, России, Франции, США и других стран, в том числе – директор ИСП РАН Арутюн Аветисян

➡️ В числе главных тем:
🔸Искусственный интеллект и машинное обучение
🔸Анализ больших данных
🔸Высокопроизводительные системы и облачные вычисления
🔸Кибербезопасность и защита информации
🔸Математическое моделирование
🔸Распознавание образов и обработка изображений
🔸и многое другое!

❗️Подача материалов: до 30 июня 2025
Статьи или тезисы должны быть написаны на английском языке. Материалы, отобранные Программным комитетом, будут опубликованы в течение года в изданиях, индексируемых в Scopus и Web of Science

✔️Подробнее о мероприятии: http://www.csit.am
✔️ В Орле состоялся очередной День меланомы. Все желающие могли проверить свое здоровье с помощью системы Melanoscope AI, которая разрабатывается междисциплинарной командой медиков и программистов ИСП РАН.

📺 https://vk.com/video-73375965_456255435?t=19m10s

➡️ Melanoscope AI — это система раннего обнаружения меланомы и других злокачественных новообразований кожи на основе анализа дерматоскопических снимков меланоцитарных новообразований кожи. Система объединяет несколько модулей: сбора дерматоскопических изображений, обучения моделей искусственного интеллекта, классификации изображений и др.
Семинар "Математические основы ИИ" в Математическом институте имени В. А. Стеклова РАН

Уважаемые коллеги!

Первый доклад в 2025 г. cеминара «Математические основы искусственного интеллекта» в Математическом институте им. В.А. Стеклова РАН пройдет в очном формате и в системе Контур Толк:

Место и время: МИАН (ул. Губкина 8), 9 этаж, конференц-зал, среда, 26 марта 2025 г., 17:00-18:00.

И.В. Оселедец (AIRI, Сколковский институт науки и технологий):
"DeepSeek и подходы, реализованные в нем"

Аннотация: В докладе расскажем про основные подходы и проблемы, возникающие при обучении больших моделей, и более подробно расскажем идеи, используемые в DeepSeek.

Ссылка на подключение в Контур Толк:
https://mian.ktalk.ru/jy7i6n6xlooq?pinCode=6107

Пин-код: 6107

Будем рады Вас видеть!
✔️ Сотрудники ИСП РАН приняли участие в конференции EDA Connect 2025: Bridging Industry and Academia, которая состоялась в Ереване.

➡️ Александр Камкин представил доклад Utopia EDA: Open-Source Tool for Logic Synthesis and Verification

➡️ Рубен Бучацкий и Ян Чуркин представили доклад SVAN: Static Analysis System for SystemVerilog Hardware Description Language

✔️ Организаторами мероприятия выступили Институт проблем информатики и автоматизации НАН РА, ЕрГУ, РАУ и ряд других организаций и компаний. Конференция объединила участников как из научно-образовательных организаций, так и из бизнеса (Siemens, Synopsys, HiSilicon, Samsung и др.).
❗️ Новая статья в блоге ИСП РАН на Хабре!

➡️ Вместе с коллегами из CodeScoring, «Базальт СПО» и НТЦ «Фобос-НТ» посмотрели, как с помощью инструмента Natch можно проводить анализ сложных распределённых систем в контейнерном исполнении. Вот что мы узнали: https://habr.com/ru/companies/isp_ras/articles/892548/

✔️ Авторы: Андрей Слепых, Никита Бесперстов, Павел Довгалюк
👨‍💻 Безопасное ПО России в Китае

❤️В Шеньчжэне, Китай прошла выставка CITE-2025: China Information Technology Expo, с участием ИСП РАН

❤️В рамках деловой программы выступил руководитель направления разработки автономных систем и технологий для создания безопасного ПО, ведущий научный сотрудник ИСП РАН Шамиль Курмангалеев. Кроме того, он дал интервью изданию China Daily.

❤️Шамиль Курмангалеев, руководитель направления разработки автономных систем и технологий для создания безопасного ПО, ведущий научный сотрудник ИСП РАН, для НОП:

«Мы работаем с китайскими коллегами уже не первый год. Это сотрудничество и с бизнес-компаниями в области анализа программ, и с научными организациями. Например, реализованы проекты в области математического моделирования совместно с Китайским океанологическим университетом.

На выставке CITE-2025 мы представили инструменты разработки безопасного ПО, а также ряд наших новейших разработок. Это DocMarking, система внедрения цифровых меток в документы, которая базируется на результатах исследований в области стеганографии и машинного обучения, а также наши биомедицинские решения – например, диагностическое ПО для анализа ЭКГ, которое недавно было зарегистрировано как медизделие. Технологии вызвали большой интерес, и уже запланированы встречи по ряду конкретных направлений».

❤️На стенде ИСП РАН были представлены передовые технологии института, в числе которых инструменты разработки безопасного ПО, система противодействия утечкам документов DocMarking и платформа для создания моделей интеллектуального анализа биомедицинских данных.

❤️Выставка Chinese Information Technology Expo состоялась уже в 13-й раз. Это одна из крупнейших выставок информационных технологий в мире, которая объединяет самые различные направления – от создания электронных компонентов вычислительных систем до прикладных технологий цифровой экономики.

#НОП
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
✔️14 апреля в ИСП РАН прошёл первый День открытых дверей для школьников!

➡️ Гостями института стали 47 учащихся 10 и 11 классов информационно-математического направления Университетской гимназии МГУ им. М.В. Ломоносова.

Перед школьниками выступили сотрудники ИСП РАН Андрей Белеванцев, Денис Турдаков, Юрий Маркин, Виталий Чепцов, Максим Столяров и Виталий Акользин, которые рассказали о системном программировании в целом, об анализе программ, о создании операционных систем и технологий искусственного интеллекта, а также об исследованиях и разработках в области робототехники и цифровой медицины. Состоялась также выставка технологий института.

❗️В будущем такие Дни открытых дверей планируется сделать традицией.