|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Международная конференция "Иванниковские чтения"Конференция
- Члены программного комитета: Падарян В.А., Прохоров С.П.
- Охват: Международная
- Даты проведения: 23-24 сентября 2022
- Место проведения: Казань, Russia
-
Организатор:
Институт системного программирования РАН - Число участников: 500
- Число иностранных участников: 100
- Число докладчиков: 30
- Веб-сайт: https://www.ivannikov-ws.org/
- Добавил в систему: Прохоров Сергей Петрович
Доклады:
- 2022 Strong Optimistic Solving for Dynamic Symbolic Execution (Устный)
- Авторы: Parygina Darya, Vishnyakov Alexey, Fedotov Andrey