Title: Composing Processes in Isabelle
Speaker: Filip Smola
Abstract: 

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.