Title: Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006