Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 - nidottu, Englanti, 2014