Connecting formal and informal learning in Smart Learning Environments | IEEE Conference Publication | IEEE Xplore