NorNet is supporting the iFMCloud 2016 Posted on 2015-11-06 by Thomas Dreibholz The NorNet project is supporting the 1st International Workshop on Formal Methods for and on the Cloud (iFMCloud 2016). More details on this workshop can be found at https://ifmcloud2016.nntb.no.