Autumn workshop: formalisms at the interface with machines, languages and systems

Version francaise disponible ici.

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: 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?


October 16, 2018
9.00-9.15: Introduction
9.15-10.15: Giuseppe Primiero, From Formal Correctness to Engineering Validity
     Respondant: Franck Varenne
10.15-10.45: Coffee break
10.45-11.45: Liesbeth De Mol and Edgar G. Daylight, Halting problems: a historical reading of a paradigmatic computer science problem
     Respondant: Mate Szabo
11.45-12.45: Julian Rohrhuber, What is abstract?
     Respondant: Jean Lassègue
12.45-13.45u: lunch
13.45u-14.45: Jean-Baptiste Joinet, Towards a computational foundation for logic
     Respondant: Giuseppe Primiero
14.45-15.15: coffee break
15.15-16.15: Baptiste Mélès, Unix Ontology: Time and Prime Mover in Unix v6
     Respondant: : Tomas Petricek
16.15-17.15:Felice Cardone (read by Simone Martini), From Curry to Haskell: the logical syntax of programming languages
     Respondant: Baptiste Mélès
17.15-17.30: coffee break
17.30-19.00: Roundtable: The introduction of mathematical logic in computing: Comparing local / national processes. Moderator: Pierre Mounier-Kuhn. Participants: Edgar Daylight, Maarten Bullynck (read by LDM), Cliff Jones, Simone Martini, Pierre Mounier-Kuhn

October 17, 2018
10.00-11.00: Gerardo Con Diaz (talk by Skype), Machines and Algorithms in American Patent Law
     Respondant: Pierre Mounier-Kuhn
11.00-11.30: coffee break
11.30-12.30: Selmer Bringsjord, Introducing Pure General Logic Programming (PGLP), a Leibnizian Paradigm
     Respondant: Ray Turner
12.30-13.30: lunch Marie-José Durand-Richard, Towards programming before flowcharts : diagrams from Babbage to Wilkes
     Respondant: Mark Priestley
14.30-15.00: coffee break
15.00-16.00: Wendy Hammache, Back to origins : philosophical aspects of early lambda-formalism
     Respondant:  Simone Martini
16:00-17.00: Pierre Mounier-Kuhn, Couffignal’s computer: Baroque architecture and inept management
     RespondantElisabetta Mori