The 12th ACM-IEEE International Conference on Formal Methods and Models for ... will be held at EPFL in Lausanne, Switzerland on October 19-21, 2014. .... 1:30 – 3:00 Session 5: MEMOCODE Design & Software Contest ... Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems.