Title: Composing Processes in Isabelle
Speaker: Filip Smola
In many domains we are confronted with complex processes, from manufacturing workflows to administrative tasks. When analysing such processes, the formal representations involved can quickly get too large for a human to correctly and efficiently manipulate. My PhD project is on mechanising the notion of process compositions, verifying correctness-preserving methods for constructing them, and demonstrating the applications of the resulting formalism. In this talk I will give an overview of my project and my progress so far. I will present the highlights of my mechanisation in Isabelle and note some of the more interesting choices I made along the way. I will also outline the path forward in the coming months.