Косовский
Николай
Кириллович

д.ф.-м.н., профессор кафедры информатики

Соруководитель секции:
Фундаментальная информатика

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

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

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

Инициаторы

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

Расписание

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Бакин Е.А.

Бурова И.Г.

Герасимов М.А.

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

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

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

Ермаков С.М.

Зикратов И.А.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Молдовян А.А.

Нестеров В.М.

Новиков Б.А.

Прохоров В.В.

Терехов А.Н.

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

Фахрутдинов Р.Ш.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.