Le séminaire LCR accueille Sylvain Lippi (I3S, Université de Nice).

Les systèmes durs, une sous-classe des réseaux d’interaction, se présentent sous la forme de systèmes de re-étiquetage de graphes fortement confluents. Nous présentons quelques traductions dans des sous-classes des systèmes durs et en déduisons quelques idées simples sur l’universalité. En particulier, nous donnons une traduction dans un système universel à 7 règles.