seminaire PPS - 15/1

SEMINAIRE PPS (http://www.pps.jussieu.fr/seminaire)

Jeudi 15 Janvier, salle 0C2 -- Emmanuel Beffara (IML, Marseille)

Calculs de processus algébriques

Dans cet exposé, je montrerai ce qui se passe quand on ajoute aux
calculs de processus une somme formelle pour laquelle la composition
parallèle est bilinéaire. Le point important est de comprendre ce que
signifie zéro: il s'agit d'un symbole de test (ou d'une exception) et il
permet de décomposer les constructions habituelles du calcul d'une façon
nouvelle et intéressante. De ces remarques, on tire un système de
réécriture confluent sur les processus (et normalisant en l'absence de
réplication) qui permet de décider l'équivalence observationnelle de
processus finis. Les amateurs de lambda-calcul différentiel seront ravis
d'apprendre que la somme formelle correspond entre les deux calculs, de
même que la réduction, dans une certaine mesure.

----------------------------------------
EXPOSES A SUIVRE

Jeudi 22 Janvier, salle 0C2 -- Cosimo Laneve (Univ. Bologna),
Reachability analysis in the k-family

Jeudi 19 Février, salle 0C2 -- Ralf Treinen (PPS, Paris),
TBA

Jeudi 12 Mars, salle 0C2 -- Giuseppe Castagna (PPS, Paris),
TBA