Back-to-work day of the “Automata, Structures, and Verification” pole, which gathers the research groups Automata and applications and Modelling and verification on November 25, 2017.