#матлог #учёба #спецсеминар

Семинар "Вычислимость и неклассические логики" работает по пятницам с 16.45 в аудитории 425.

16 мая 2025 г.
Г. Г. Черевиченко
Обзор исчислений процессов.
Математический логик, занявшись computer science, обнаруживает там много исчислений, о которых он не слышал, некоторые из них весьма интересные, имеют довольно долгую историю и активно применяются в приложениях. Например, все новые протоколы (обмен паролями, куками и т.п.) проверяют специальными программами, основанными на pi-calculus Милнера (с тех пор как в 1995 году Gavin Lowe испытал одну из первых таких программ, взломал протокол Нидхема-Шрёдера и открыл атаку man in the middle). Докладчик расскажет о собственных проблемах при написании распределённой программы (объекты обмениваются сигналами) и попытках их формально описать и исследовать с помощью исчислений процессов, упор будет сделан на программу mCLR2
https://mcrl2.org/web/index.html
Можно также посмотреть видео к программе докладчика (регистрироваться не надо, надо найти кнопку "скачать")
https://mega.nz/file/igo0zDBC#JgIYMtie3UmKXgDgtWBKzXE25xPA-qvZuKMKQ3y8fFk

➰ ВК