An informal WORKSHOP ON LOGIC will be held on 20-21 January 2007 at the Wilhelm-Schickard-Institute, University of Tuebingen with talks by Enrico Moriconi Peter Schroeder-Heister Michael Arndt Thomas Piecha Luiz Carlos Pereira Edward Hermann Haeusler Laura Tesconi Ernst Zimmermann For details see http://www-ls.informatik.uni-tuebingen.de/Kolloquium/workshop07.html