===== Automata, structures and verification =====

{{page>rencontres:asv:}}