Proceedings of the 7th international conference on Implementation and application of automata - Champarnaud