Master thesis by Pepijn Vunderink: "Program Matching with Semantic Patterns"
"We propose the Dyno pattern language, in which concrete object language syntax can be used to express intuitive semantic patterns of programs. Pattern matching is performed by translating Dyno patterns to μ-calculus formulas and model checking these formulas against models extracted from object programs."
https://repository.tudelft.nl/record/uuid:a18ab135-96b1-417c-b25e-46aa02521896
Paper by Ivan Todorov and Casper Bach Poulsen at TyDe '24: Modal μ-Calculus for Free in Agda
"Using dependently-typed programming in Agda, we develop an embedding of the modal μ-calculus for defining and verifying functional properties of possibly-non-terminating effectful programs which we represent in Agda using the coinductive free monad."
I'll do an online presentation at the Australasian Association for Logic 2023 Conference on November 10, 18:15 (Brisbane time).
I'll talk about fixed-points in modal logic (more specifically about when the mu-calculus is equivalent to fixed-point-less modal logic).
More information here: https://sites.google.com/view/aalogic/aal-conference-2023
The Australasian Association for Logic will hold its annual conference in hybrid format (using Zoom for the online component) from Thursday 9 November to Friday 10 November, 2023. The physical location will be the University of Queensland in Brisbane. There will be three one-hour tutorials on
Programming Languages Delft
Leonardo Pacheco