Keynote Speaker II: Modelling and Formalizing Weak Emergence | IEEE Conference Publication | IEEE Xplore