---- datatemplateentry ----
template    : templates:equipe
type        : Équipe thématique
nom         : Algèbre et calcul
nomcourt    : algebre
responsable : ehrhard
pole        : pps
---- 

\\ === Thèmes de recherche ===
 
Une bonne compréhension des mécanismes de calcul exige le développement d'outils mathématiques toujours plus sophistiqués, et apporte de nouvelles idées mathématiques. Cela se manifeste notamment dans la construction de modèles abstraits des programmes probabilistes et quantiques, et dans l'utilisation de structures géométriques et topologiques pour représenter des situations de calculs distribués ou concurrents. On fait aussi appel à des notions générales de monades, d'opérades et d'espèces de structures pour représenter des structures de données ou des mécanismes de calcul (comme certains effets faisant appel à des états internes ou à de la mémoire modifiable), et aux catégories de dimension supérieure pour modéliser la théorie des types dans un cadre homotopique. Enfin, l'étude de la réécriture est un objectif majeur de cette équipe thématique, notamment pour ses applications à l'algèbre et aux catégories, mais aussi aux différents types de lambda-calcul, à l'étude des systèmes concurrents et des langages probabilistes, dont elle permet de décrire naturellement la sémantique opérationnelle.

/*
{{ patates.svg?500 |Activités de recherche}}
*/

\\ === Séminaire et groupes de travail ===

[[::seminaires:pps:]] \\
[[::seminaires:cat:]] \\
[[::seminaires:semantique:]] \\

/*
\\ === Annuaire ===

{{page>.:db:annuaire}}
*/
\\ === Permanents  ===

{{page>.:db:annuaire_perm}}

\\ === Non-permanents ===

{{page>.:db:annuaire_noperm}}