What is this? This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.

Mathematics of Program Construction (MPC)

A conference, workshop or journal: the thing that recurs, across all its years.

A small biennial conference on deriving programs from specifications: calculational methods, algebra of programming, and the mathematics of getting from a problem statement to code that provably solves it.