Différences

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

--- equipes:systemes:index [03/10/2021 15:41] – magniez
+++ 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         : Analyse et conception de systèmes
-nomcourt    : systemes
-responsable : dagand
-pole        : pps
-----
-\\ === Thèmes de recherche ===
-Notre objectif est de développer des méthodes formelles ou mathématiques pour modéliser des systèmes existants, naturels ou artificiels, et pour résoudre des problèmes concrets. Cette thématique est très liée à [[http://www.irill.org|l'IRILL]], avec laquelle nous développons des méthodes pour rendre plus sûre et plus efficace la distribution de systèmes logiciels de grande dimension. Nous développons des langages de programmation adaptés à des domaines d'application particuliers, comme les bases de données ou le web. Nous mettons aussi au point des outils probabilistes, graphiques, à base de réécriture ou d'algèbres de processus pour modéliser des systèmes concurrents.
-En application, le pôle souhaite poursuivre et développer son activité pluridisciplinaire tournée vers la biologie des systèmes et la modélisation. Nos activités sont aussi historiquement connectées à la [[https://www.softwareheritage.org|fondation Software Heritage]], créée par des membres de PPS, et dont nous soutenons le développement.
-/*
-{{ 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}}