Mads Dam is giving an invited talk first-Order mu-calculus as a Language Independent Program Verification Framework at the conference on Circularity in Syntax and Semantics in Gothenburg, Nov 20-22 2019.

More info: http://www.cse.chalmers.se/~bahafs/CiSS2019/