- Peter Bosch, David Gabelaia, Jérôme Lang, editors, Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers. Volume 5422 of Lecture Notes in Computer Science, Springer, 2009.