Косовская
Татьяна
Матвеевна

д.ф.-м.н.
профессор кафедры информатики СПбГУ

Фундаментальная информатика

На секции ожидаются доклады по тематикам, описанным ниже.

  1. Формализованные эффективные спецификации компьютерных программ, алгоритмов и сетей:
    • Рекурсивно логическое программирование.
    • Другие парадигмы спецификаций и примеры их использования.
  2. Доказательства свойств программ и алгоритмов:
    • Доказательства полиномиальности алгоритмов.
    • Доказательства корректности программ и алгоритмов.
    • Другие доказательства.
ср 27 апреля дневная секция
Подключиться к MS Teams

Мишуров И.Д.

Степени двойки и вещественно-целочисленная линейная элиминация кванторов

Криворучко Д.И.

Разработка инструментария для работы с циклограммами

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

Программный комитет

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Бурова И.Г.

Голяндина Н.Э.

Граничин О.Н.

Графеева Н.Г.

Демьянович Ю.К.

Ермаков С.М.

Кац В.М.

Косовская Т.М.

Кривулин Н.К.

Кузнецов Н.В.

Кустова Е.В.

Луцив Д.В.

Матвеев А.С.

Терехов А.Н.

Тулупьев А.Л.

Фрадков А.Л.

Шалыто А.А.