C’est avec plaisir que je vous annonce le prochaîne colloque de PROGRAMme, organisée de 1 à 2 Octobre  2019 à Bertinoro University center, Italie. Le colloque est organisé par It Liesbeth De Mol (CNRS, Université de Lille) et Simone Martini (Universita di Bologna), avec le support du Dipartimento Informatico – scienzia e ingegneria de l’université de Bologna ainsi que par l’ANR.

Pour s’inscrire, merci d’envoyer un courriel avec votre nom et affiliation à liesbeth.de-mol@univ-lille.fr avant le 1 septembre 2019. L’inscription est gratuite mais obligatoire. Vous pouvez faire une réservation dans le centre universitaire de Bertinoro ici.

Le colloque est le troisième 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. Le troisième colloque est dédié à l’axe Langages de programmation et Notations. Dans l’esprit de ce projet, cet axe n’est pas considéré indépendant des autres axes. Au contraire. le but c’est de comprendre comment l’axe est lié et affecté avec les autres en structurant et determinant des “programmes”.

PROGRAMME

Mardi 1 octobre, 2019

10h00-11h00: Giuseppe Primiero, Safety and Liveness in Copied Computational Artefacts
Respondant: Ray Turner
11h00-11h30: Pause
11h30-12h30: Ursula Martin, Framing Ada: class, gender, technology and representations of Ada Lovelace from 1815 to the present
Respondant: Pierre Mounier-Kuhn
12h30-14h00: Déjeuner
14h00-15h00: Henri Stephanou, UML and business process modeling
Respondant: Selmer Bringsjord
15h00-15h30: Pause
15h30-16h30: Martin Carlé, Literate Programming, containerisation and the future of Digital Humanities
Respondant: Baptiste Mélès
16h30-17h30: Simone Martini, Lego Programming
Respondant: Tomas Petricek
17h30-18h: Pause
18h-19h: Pierre Mounier-Kuhn, “From ancillary technique to strategic stake: software in the French Plan Calcul (1966-1975)”
Respondant: Mate Szabo

Mercredi 2 octobre 2019

9h30-10h30: Dale Miller, Programming languages based on formal structures
Respondent: Jean-Baptiste Joinet
10h30-11h: Pause
11h-12h: David Nofre, Exploring the historical significance of abstraction in computer science
Respondent: Edgar Daylight
12h-13h30: Déjeuner
13h30-14h30: Alberto Naibo, Logical constants from a computational point of view
Respondent: Wendy Hammache
14h30-15h30: Baptiste Mélès, Turing languages
Respondent: Mark Priestley
15h30-16h: Pause
16h-17h: Tomas Petricek, “Programming languages as a design problem”
Respondent: Giuseppe Primiero
17h-18h: Jean Lassègue, `programming’ as a new step in the history of writing: some semiotic and anthropological remarks”
Respondent: Martin Carlé