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

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

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

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

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

Дудников И.А.

Формализация теории определимости в Lean

Новый материал (требуется регистрация):
Фамилия И.О.[, ...]:
Название доклада:
Файл с тезисами:

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

Инициаторы

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

Расписание

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Абрамов М.В.

Бурова И.Г.

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

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

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

Ермаков С.М.

Кац В.М.

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

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

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

Кустова Е.В.

Макаров А.А.

Матвеев А.С.

Савченко С.С.

Терехов А.Н.

Фрадков А.Л.

Шалыто А.А.