Герасимов
Михаил
Александрович

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

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

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

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

Курбатова З.И.

Применение парсер-комбинаторов для разбора булевых грамматик

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

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

Инициаторы

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

Расписание

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

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

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

Публикации

Контесты

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

Оргкомитет

Документы

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

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

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

Бурова И.Г.

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

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

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

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

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

Ермаков С.М.

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

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

Крук Е.А.

Леонов Г.А.

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

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

Новиков Б.А.

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

Сергеев А.В.

Терехов А.Н.

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

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

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.