King Abdullah University of Science and Technology (KAUST)
Thuwal, Saudi-Arabia, October 2011
38th International Colloquium on Automata, Languages and Programming
Zürich, Switzerland, July 2011
10th International Symposium on Experimental Algorithms
Kolimpari, Crete, Greece, May 2011