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

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

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