L'équipe thématique « Programmes et Langages » (PL) recouvre les activités du pôle PPS ayant pour objet premier la conception de programmes, protocoles ou langages de programmation fondés ou modélisés par des outils théoriques pour la plupart étudiés dans le pôle, avec pour objectif la convergence de la pratique d'ingénieur et de l’informatique fondamentale. Une liste, non exhaustive, de nos centre d’intérêts et contributions est:

• La conception de langages de programmation généralistes ou dédiés:
  • Programmation fonctionelle (Ocaml), Concurrente (Elixir), Synchrone (Heptagon) et probabiliste (ProbZelus)
  • Coq (assistant à la preuve) et les applications de coq à la vérification logicielle ou l’enseignent des mathématiques, Cduce (langage fonctionnel orienté XML), Kappa (DSL pour la biologie moléculaire, basé sur de la réécriture de graphes)
• L’étude et la conception de systèmes distribués et des protocoles qui les implémentent :
  • Babel (protocole de routage), smart contract pour la Blockchain (modélisation et vérification de systèmes distribués)

Preuves, programmes et systèmes
Séances passées
Programmation
Théorie des types et réalisabilité