Workshop on Computer Science Logic (16th 2007 Lausanne, Switzerland)