Proceedings of the 2007 workshop on Experimental computer science