Différences

Ci-dessous, les différences entre deux révisions de la page.

--- equipes:systemes:index [16/09/2024 13:06] – calvi
+++ equipes:systemes:index [17/09/2024 12:29] (Version actuelle) – supprimée calvi
@@ Ligne 1: / Ligne 1: @@
----- datatemplateentry ----
-template    : templates:equipe
-type        : Équipe thématique
-nom         : Équipe Programmes et Langages (PL)
-nomcourt    : systemes
-responsable : jkrivine
-pole        : pps
-----
-\\ === Thèmes de recherche ===
-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)
-/*
-{{ patates.svg?500 |Activités de recherche}}
-*/
-  * L'assistant de preuves Coq
-  * Le protocol de routage Babel
-  * Langages de programmation
-  * Composants logiciels
-  * Systèmes concurrents et probabilistes
-  * Réécriture linéaire
-\\ === Séminaire et groupes de travail ===
-[[::seminaires:pps:]] \\
-[[::seminaires:acs:]] \\
-[[::seminaires:programmation:]]\\
-[[::seminaires:types:]]
-\\ === Permanents  ===
-{{page>.:db:annuaire_perm}}
-\\ === Non-permanents ===
-{{page>.:db:annuaire_noperm}}