Event webpage: https://programme.hypotheses.org/autumn-workshop-formalisms-at-the-interface-with-machines-languages-and-systems

Organizers: Liesbeth De Mol (CNRS, Université de Lille) and Simone Martini (Universita di Bologna)

We are happy to announce that the next PROGRAMme workshop will be held from October 16-17 2018, at the Bertinoro University center in Bertinoro, Italy. It is organized by Liesbeth De Mol (CNRS, Université de Lille) and Simone Martini (Universita di Bologna).  The workshop will be followed by a research retreat with the members of the PROGRAMme project (18-21 October).

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.

Supported by the Agence Nationale de la Recherche and the  Department of Computer Science and Engineering of Alma Mater Studiorum-Università di Bologna.

This international workshop is the first in a series of four workshops. Each will focus on one of the main four clusters of the research project PROGRAMme in connection to the other three (see https://programme.hypotheses.org/ for more details). The first workshop will focus on the cluster Logic and so concentrates on the historical and epistemological connections between Logic and (Computer) programs. Some questions to be raised during this workshop are:

  • What is the historical and epistemological significance of the classical models of computability for the development of computer programs?
  • What has and can logic contribute to computing?
  • Is logic historically and epistemologically fundamental for the development of the modern computer and programming notations?
  • What kind of differences and connections can we trace down between local and national histories of formal methods in programming?
  • What kind of assumptions do we make about “program” if we assume that a classical model such as the Turing machine model is the most appropriate model to study, for instance, issues of algorithmic complexity or problems of infinite computation?
  • Does logic suffice to model (computer) programs and what kind of properties should such model have minimally?
  • What is the (formal) correctness of a (computer) program and how does it relate to the notion of computational correctness by some physical device?
  • What, if any, can logic contribute to issues such as the patentability of (computer) programs?


To reserve a room at the meeting venue, the University Residential Center of Bertinoro, please fill in the form by clicking on the button below.

All rooms are provided with bathroom, TV and wi-fi connection


– single room: €55 (bed & breakfast + self-service lunch at the Center’s cafeteria) per day;

– double room: €45 (bed & breakfast + self-service lunch at the Center’s cafeteria) per person/ per day.

When booking a double room, please specify the name of your guest.

If you need more information on the rooms please contact jbazzoli@ceub.it