Международный симпозиум по символическим и алгебраическим вычислениям ISSAC—2021
18–23 июля 2021
Санкт-Петербург, наб. реки Фонтанки, д. 27, ауд. 311 (Международный математический институт имени Леонарда Эйлера)
В СПбГУ пройдет конференция «Международный симпозиум по символическим и алгебраическим вычислениям ISSAC—2021» (International Symposium on Symbolic and Algebraic Computation ISSAC—2021).
Программа
18 июля
- Мастерская в честь Владимира Гердта
- 13:45 Приветственное слово
- 13:50 Дунмин Ван «Разложение Томаса: Краткая история. Памяти Владимира Гердта»
- 14:00 Ченки Moу «ТВА»
- 14:30 Эрнст В. Майр «Теория в САСК»
- 15:00 Перерыв
- 15:15 Дмитрий Ляхов «Об алгоритмической линеаризуемости нелинейных обыкновенных дифференциальных уравнений»
- 15:45 Вернер М. Зайлер «Работа Владимира Гердта по ограниченной динамике»
- 16:15 Амир Хашеми «История моего научного сотрудничества с Владимиром»
- 16:45 Перерыв
- 17:00 Микела Черия «Применение штрих-кода для инволютивных делений и жадный алгоритм для полных наборов»
- 17:30 Тео Мора «Разделение по типу Поммаре и уфнаровское основание. Два неизведанных пейзажа в районе Грёбнер-Джанет»
- 18:00 Даниэль Робертц «Вспоминая коллаборации с Владимиром Гердтом»
19 июля
- 13:50–14:00 Открытие конференции, анонсы. Учебное пособие
- 14:00–16:00 Пьер Ванхов «Дифференциальные уравнения для интегралов Фейнмана»
- 16:00–16:30 Перерыв
- 16:30–18:30 Учебное пособие
- 18:30–19:00 Перерыв
- 19:00–20:00 Регулярные переговоры
20 июля
- 13:50–14:00 Объявления. Регулярные переговоры
- 16:00–16:30 Перерыв
- 16:30–18:30 Учебное пособие
- 18:30–19:00 Перерыв
- 19:00–20:00 Юрген Герхард «Что нового в Maple 2021?»
21 июля
- 13:50–14:00 Объявления
- 14:00–15:00 Приглашенная беседа
- 15:00–15:30 Перерыв
- 15:30–16:30 Регулярные переговоры
- 16:30–18:30 Деловые встречи
- 19:00–20:00 Регулярные переговоры
22 июля
- 13:50–14:00 Объявления
- 14:00–16:00 Регулярные переговоры
- 16:00–16:30 Перерыв
- 16:30–18:30 Регулярные переговоры
- 18:30–19:00 Перерыв
- 19:00–20:00 Надя Хенингер «Алгоритмические методы и открытые проблемы криптоанализа»
23 июля
- 13:50–14:00 Объявления
- 14:00–15:00 Приглашенная беседа
- 15:00–15:30 Перерыв
- 15:30–17:30 Регулярные переговоры
- 15:30–18:00 Перерыв
- 18:00–19:15 Регулярные переговоры
- 19:00–19:15 Объявление о награждении, закрытие конференции
Мероприятие пройдет в смешанном формате.