PROGRAMme Autumn Workshop: Formalisms at the interface with machines, languages and systems

October 16-17, 2018, CEUB Bertinoro

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).

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.

It is the first in a series of four workshops. Each focuses on one of the project’s main clusters in connection to the other three (see here for more information about the clusters). The first workshop will focus on the cluster Logic and so focuses 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?

Posted: August 24, 2018