Autumn workshop “Formalisms at the interface with machines, languages and systems”