seminaire PPS - 22/1

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

The $\Kappa$-calculus is a formalism for modelling molecular
biology where molecules
are terms with internal states and with sites, bonds are represented
by shared names labelling sites, and reactions are represented by
rewriting rules. Depending on the shape of the rewrite rules, several
dialects of the calculus can be obtained. We analyze the
expressive power of some of these dialects by focusing on the thin
boundary between decidability and undecidabiity for problems like
reachability and coverability. This analysis is a first step towards
the design of algorithms for the qualitative analysis of languages
of the $\Kappa$-family.

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