Hi I would like to grasp the theory behind Maude (and do my experiments in a programing Language, not necessarily Maude).

Are there any recommended video lecture notes, talks or introductory notes?

I have been exposed to Functional Analysis, Topology and some Term Rewriting. But I am interested in getting into this fascinating field for formal verifications.

Any help would be greatly appreciated. I target Python or Julia or Golang (Python Software Engineering for Data Engineering is my main job). I am very open though. Especially if there is some code.