Journée d’étude automnal: formalismes à l’interface avec les machines, les langages et des systèmes

C’est avec plaisir que je vous annonce la prochaîne journée d’étude de PROGRAMme, organisée de 16 à 17 Octobre  2018 à Bertinoro University center, Italie.

Pour s’inscrire, merci d’envoyer un courriel avec votre nom et affiliation à liesbeth.demol@univ-lille3.fr avant 15 septembre 2018. L’inscription est gratuite mais obligatoire.

La journée est la première d’une série de quatre. Chaque journée se focalise sur un des quatre axes du projet: Logique, Machines, Langages et Notations, Systèmes. Pour plus d’infos sur les axes, voir ici. La première journée est dédiée à l’axe Logique. Quelques questions qui seront relevées pendant cette journée sont:

  • Qu’est-ce qu’est la pertinence historique et épistémologique des modèles classiques (lambda calcul, machines de Turing, fonctions recursives, etc) pour le développement des programmes?
  • Est-ce que la logique est fondamental (d’une manière historique et philosophique) pour le développment de l’ordinateur et des notations de programmes?
  • Quels types de connections et differences est-ce qu’on peut identifier entre des histoires locals et nationals des méthodes formels dans la programmation?
  • Est-ce que la logique suffit pour la modélisation des programmes et quelles sont les propriétés monimales pour un tel modèle?
  • Qu’est-ce qu’est la correction (formelle) d’un programme and comment est cela liée à une notion de correction computationelle dans un contexte physique?
  • Qu’est-ce que la logique peut contribuer aux problèmes de brevetage des programmes informatiques?

Organisateurs: Liesbeth De Mol (CNRS, Université de Lille) et Simone Martini (Universita di Bologna).

Avec le support de l’Agence Nationale de la Recherche et Department of Computer Science and Engineering de Alma Mater Studiorum-Università di Bologna.

PROGRAMME

October 16, 2018
9.00-9.15: Introduction
9.15-10.15: Giuseppe Primiero, From Formal Correctness to Engineering Validity
     Répondant: 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
     Répondant: TBC
11.45-12.45: Julian Rohrhuber, What is abstract?
     Répondant: Jean Lassègue
12.45-13.45u: lunch
13.45u-14.45: Jean-Baptiste Joinet, Towards a computational foundation for logic
     Répondant: 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
     Répondant: : Tomas Petricek
16.15-17.15:Felice Cardone (read by Simone Martini), From Curry to Haskell: the logical syntax of programming languages
     Répondant: TBC
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, Liesbeth De Mol, Cliff Jones (TBC), Simone Martini, Pierre Mounier-Kuhn

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