Когда: среда 3 октября 2018 с 16 часов
Где: ИФ РАН, комната 416 (4-й этаж)
Описание:
Этот воркшоп – седьмой в серии воркшопов, организованных в рамках проекта “Логические и эпистемологические аспекты конструктивного знания“. В этот раз фокус будет снова сделан на проблеме обоснования знания в компьютерном представлении знаний.
NEW: FULL VIDEORECORDING (till 3h20m)
Программа:
16:00 – 16:45: АНДРЕЙ РОДИН (ИФ РАН)
Проблема обоснования в формальном представлении знаний (abstract)(paper draft)
16:50 – 17:35: ДАНЯ РОГОЗИН (МГУ)
Формальная верификация в блокчейн-системах (abstract)(slides)
17:35 – 17:50: КОФЕ
17:50 – 18:30: ДИСКУССИЯ