Abstract (or axiomatic) algebra provides a framework that is simple,
mathematically solid and apt for automation. In this talk, I present
the basics of two such abstract algebras that can be used for reasoning
about programs by sketching their historical background, relation to
each other, and some recent developments and applications.

Kim Solin disputerade i december för filosofie doktorsgraden vid Åbo
Akademi på en avhandling med titeln Abstract Algebra of Program Refinement.
Sedan i början av mars bor han i Uppsala och är för närvarande
doktorand vid filosofiska institutionen.