Formalisms and structures: Keynote abstract | IEEE Conference Publication | IEEE Xplore