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