Archives de catégorie : Histoire de la programmation

Laurent CERVONI, « Programmation logique et intelligence artificielle : cinquantième anniversaire de Prolog » (09/06/2022)

Orateur

Laurent Cervoni (groupe TALAN)

Titre

« Programmation Logique et Intelligence Artificielle : cinquantième anniversaire de Prolog »

Résumé

Durant l’été 1972, Alain Colmerauer et son équipe à Marseille ont développé et implémenté la première version du langage de programmation logique Prolog. Associé à des collaborations antérieures et ultérieures avec Robert Kowalski et ses collègues d’Édimbourg, ce travail a jeté les bases pratiques et théoriques du Prolog et de la programmation logique d’aujourd’hui. Prolog et ses technologies connexes sont rapidement devenus des outils clés de la programmation symbolique et de l’intelligence artificielle.

Nous parcourrons une partie de l’histoire de l’intelligence artificielle, notamment, par le prisme de la programmation logique. Puis au travers de quelques échantillons de  codes, nous évoquerons les principes de base utilisés par Prolog, l’originalité de l’écriture d’un code Prolog, son apport dans la représentation des connaissances et ses usages les plus courants. Quelques perspectives d’articulations avec les autres approches de l’IA pourront être évoquées au cours des échanges.

Un article tiré de cette intervention a été publié dans le numéro 20 de 1024, le bulletin de la Société Informatique de France : Laurent Cervoni et Julien Brasseur, « Prolog, 50 ans d’histoire de l’intelligence artificielle », 1024 — Bulletin de la Société Informatique de France, n°20, novembre 2022, p. 55-63.

Informations

Jeudi 9 juin 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).

 

Thierry DUMONT, « Algol, 60 ans après » (07/04/2022)

Orateur

Thierry Dumont (Institut Camille Jordan, Villeurbanne)

Titre

« Algol, 60 ans après »

Résumé

Le langage Algol (60) a été avec Fortran un des premiers langages de programmation sérieux et réellement utilisables. La rigueur de sa conception impressionne toujours.

On trouve assez facilement, dans les bibliothèques universitaires, deux tomes de « Procédures Algol en Analyse Numérique »  écrits sous l’égide du CNRS, le dernier ayant été publié en 1970.

Peut-on exécuter ces programmes en 2022 ? Oui, car il existe un compilateur libre, fiable et maintenu.

Je présenterai d’abord le langage Algol 60 et je parlerai un peu de sa descendance. Ensuite, je montrerai quelques exemples de programmes qui fonctionnent à nouveau.

Le résultat est assez éclairant quant à la pratique du calcul et de la programmation en ces temps déjà lointains.

Un article tiré de cette intervention a été publié dans le numéro 20 de 1024, le bulletin de la Société Informatique de France : Thierry Dumont, « Algol 60, 60 ans après », 1024 — Bulletin de la Société Informatique de France, n°20, novembre 2022, p. 65-76.

Informations

Jeudi 7 avril 2022, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)

4 place Jussieu, 75005 Paris

métro Jussieu (lignes 7 et 10)

Vidéoconférence par Zoom (contactez les organisateurs du séminaire pour obtenir le lien).

Roberto DI COSMO : « Towards software as a first class citizen in the scholarly world » (12/03/2020)

Orateur

Roberto DI COSMO (INRIA, PPS, Université Paris-Diderot)

Titre

« Towards software as a first class citizen in the scholarly world »

Résumé

Software is a fundamental pillar of modern scientific research, across all fields and disciplines. However, there is a general lack of adequate means to archive, reference and cite software. In this talk, we will survey the main issues that make this task difficult, ranging from the specificity of the persistent identifiers needed for reproducibility to the complexity of determining software authorship and authority, especially for long running projects, which are needed for proper software attribution and credit. We report on recent contributions to the ongoing efforts to develop proper processes, guidelines and recommendations for software reference and software citation, building upon the internal experience of Inria and the emerging Software Heritage infrastructure.

Informations

Jeudi 12 mars 2020, 14h-16h

Salle 15-16/101 de l’IRILL (rotonde 15, 1er étage)
4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)

Gauthier van den Hove : « L’invention des liens statiques » (23/05/2019)

Gauthier van den Hove (Centrum Wiskunde & Informatica)

« L’invention des liens statiques »

Résumé

La plupart des langages de programmation utilisent une pile de blocs d’activation pendant leur exécution, dans laquelle les blocs d’activation sont liés entre eux par deux liens, communément appelés « dynamique » et « statique ». Notre exposé examinera l’invention de cette technique, et sa première mise en œuvre, en 1960, dans la première implémentation du langage ALGOL 60, qui est l’ancêtre de la plupart des langages de programmation dits « impératifs » utilisés aujourd’hui.

Informations

Jeudi 23 mai 2019

Salle 24-25/405 du LIP6 (rotonde 25, 4e étage)
4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)

Stefano Zacchiroli : Archivage et indexation de codes sources (16/12/2015)

Orateur

Stefano Zacchiroli

Titre

Large-scale source code archival, publishing, and indexing with Debsources

Résumé

The source code commons is a thing. Largely thanks to more than 30 years of Free and Open Source Software (FOSS) development we now dispose of hundreds of billion lines of publicly available source code.

When properly systematized, by providing uniform ways to access both the actual source code and related metadata, such an immense corpus is an invaluable resource for scholars in several fields of software studies, e.g., evolution, history, maintenance, and quality assurance. If properly archived, the same corpus can increase the chances that humanity will not lose a strategic part of its digital heritage.

We present our experiences in this field with Debsources (https://sources.debian.net/) a medium-sized (~3.5 billion lines of code), curated corpus of FOSS source code, extracted from more than 20 years of history of the Debian distribution. We discuss the need and challenges of bringing this experiment to the next level.

Informations

Mercredi 16 décembre 2015, 14h-15h30.

LIP6, salle 24-24/405.