[ATHENA] [Codes Sources] Benoît VALIRON : « Calcul quantique, langages graphiques », jeudi 22 juin 2023

[Baptiste Mélès <baptiste.meles AT gmail.com>]

Séminaire « Codes sources »

L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.


Séance du jeudi 22 juin 2023 (IRILL, 14h-16h) :

Benoît VALIRON (CentraleSupélec, LMF) :

  « Calcul quantique, langages graphiques »


Résumé :

  Dans cet exposé, nous discuterons d'une spécificité de la
  représentation du calcul quantique : la représentation graphique sous
  forme de circuit. Nous étudierons en particulier deux représentations,
  celle des circuits quantiques « usuels », et celle des circuits
  d'optique linéaire. Nous présenterons des exemples non triviaux de
  circuits, avec une réflection sur la nature des données et des
  opérations que l'on peut vouloir réaliser avec du quantique.

Lieu :

  en chair et en os à l'IRILL : 
    métro Jussieu (lignes 7 et 10), 4 place Jussieu, 75005 Paris
    - entrer sur le campus Jussieu par la place Jussieu ; 
    - aller à droite puis entrer dans le bâtiment Esclangon ; 
    - à gauche, emprunter l'escalier extérieur jusqu'au 1er étage ; 
    - sur le plateau SCAI, longer le tableau noir puis les baies vitrées ;  
    - la salle Séminaire se trouve au fond à gauche

  ou par vidéoconférence :
    https://galene.irill.org/group/irill/codessources/ (avec un
    identifiant quelconque et un mot de passe vide)


------------------------------------------------------------------------

/* ***************************************
   * À propos du séminaire Codes sources *
   *************************************** */

À celui seul qui prend la peine de les lire effectivement, les codes
sources révèlent leur richesse. On y découvre que l'élégance d'un
algorithme réside parfois hors de sa complexité, dans l'usage virtuose
des idiomes du langage de programmation ou dans la connaissance fine de
la machine à laquelle il est destiné. Bien souvent des codes sources
comportent davantage de lignes de commentaires que de code. Tous ces
trésors de pensée informatique fondent à la compilation comme neige au
soleil — preuve qu'un programme n'est pas seulement écrit pour être
compilé.

Le but du séminaire est de décrire ces œuvres de l'esprit comme des
textes à part entière. Nous espérons ainsi contribuer à la constitution
d'une culture générale en programmation. En informatique comme en
littérature, cela suppose la familiarisation progressive avec un corpus
de grands textes.

À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé
en informatique, en histoire ou en philosophie — présente, en moins
d'une heure, un code source de son choix : un fragment de système
d'exploitation, de pilote, de compilateur, de bibliothèque... Le code
peut avoir été écrit par l'orateur ou par quelqu'un d'autre, dans
quelque langage que ce soit. Le commentaire peut être algorithmique,
stylistique, historique ou philosophique, et porter sur tous les aspects
du code, commentaires compris. Le code est ensuite discuté avec
l'auditoire.


Organisateurs : 

- Emmanuel Chailloux (LIP6, IRILL)
- Raphaël Fournier-S'niehotta (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)

Site : http://codesource.hypotheses.org/

Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)

Twitter : https://twitter.com/SemCodesSources

Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources

------------------------------------------------------------------------



-- 
Baptiste MÉLÈS
CNRS, Chargé de recherche / Researcher | http://baptiste.meles.free.fr/
Université de Lorraine, Université de Strasbourg, CNRS, AHP-PReST UMR 7117
91 avenue de la Libération, 54000 Nancy, France
Secrétaire des Amis de Jean Cavaillès | http://cavailles.hypotheses.org/
                                   -
Pour une réponse rapide, n'hésitez pas à me téléphoner | Do not hesitate
to call me for a sooner response.