andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

September 28, 2018

Конструктивное знание – 7: обоснование в формальных контекстах

Filed under: — Andrei Rodin @ 2:03 pm

Когда: среда 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: ДИСКУССИЯ

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress