Dear all, I am happy to announce the autumn workshop of the PROGRAMme project which will be organised from 16 to 17 October 2018 at Bertinoro University center in Italy. It is the first in a series of four workshops. Each will focus on one of the project’s main clusters in connection to the other three. The first workshop will focus on the cluster Logic and so concentrates on logic at the interface with machines, languages and systems. In order to register, please send a mail with your affiliation to: liesbeth.demol@univ-lille3.fr before September 15 2018. Registration is free but required in order to attend. For more details, including a provisional program, see: https://programme.hypotheses.org/autumn-workshop-formalisms-at-the-interface... Organizers: Liesbeth De Mol (CNRS, Université de Lille) and Simone Martini (Universita di Bologna). Supported by the Agence Nationale de la Recherche and the Department of Computer Science and Engineering of Alma Mater Studiorum-Università di Bologna. with best wishes, Liesbeth De Mol