From Informal to Formal: Connecting Learning Experiences in Smart Learning Environments | IEEE Conference Publication | IEEE Xplore