Международный симпозиум по символическим и алгебраическим вычислениям 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 Объявление о награждении, закрытие конференции

Мероприятие пройдет в смешанном формате.