Formal Methods for Computer Science - Final presentations