12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006, Proceedings

First International Workshop on Topic Map Research and Applications, TMRA 2005, Leipzig, Germany, October 6-7, 2005, Revised Selected Papers

6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Third International Workshop, WAOA 2005, Palma de Mallorca, Spain, October 6-7, 2005, Revised Selected Papers

Foreword by Dana S. Scott

7th International Conference, CICLing 2006, Mexico City, Mexico, February 19-25, 2006, Proceedings

4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers