{"word_count": 173, "character_count": 1171}
The autumn meeting in Bertinoro was a great and intense meeting -- after the workshop, the members of the PROGRAMme group started their collaborations around the different PROGRAMme cluster and also initiated work on a PROGRAMme wiki. Below you can access the slides of some of the talks at the workshop "Formalisms at the interface with machines, languages and systems". Thanks to all participants for turning this into a great event! Thanks are also due to Simone Martini who not only proposed Bertinoro as a possible venue but also co-organized the event.I am also happy to welcome our new member: Wendy Hammache.Slides:Giuseppe Primiero, From Formal Correctness to Engineering ValidityLiesbeth De Mol and Edgar Daylight, Halting problems: a historical reading of a paradigmatic computer science problemBaptiste Mélès, Unix Ontology: Time and Prime Mover in Unix v6Felice Cardone, From Curry to Haskell: the logical syntax of programming languagesGerardo Con Diaz, Machines and Algorithms in American Patent LawMarie-José Durand-Richard, Towards programming before flowcharts : diagrams from Babbage to WilkesWendy Hammache, Lambda calculus: from logic to computation 