NorNet is supporting the iFMCloud 2016 Posted on 2015-11-06 by thomas 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.