Lista seminari

Descrizione | Programma | Lista seminari

Structures dévénements et réseaux d'interaction: une étude d'expressivité

Speaker:
Damiano Mazza (PPS - Paris 7)
Quando:
28/04/2008 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract

Un résultat bien connu de Thomas Ehrhard et Olivier Laurent nous assure que l'on peut coder CCS finitaire dans les réseaux d'interaction différentiels.
Dans cet exposé (très informel) on présentera/discutera des travaux en cours qui visent à démontrer le résultat suivant : on ne peut pas coder CCS finitaire dans les réseaux d'interaction différentiels. Nous rassurons d'abord tout le monde en disant qu'on ne cherche pas à trouver une incohérence dans ZF : le verbe "coder" est bien sur employé avec deux significations différentes dans les deux enoncés. Plus précisement, Ehrhard-Laurent montrent un codage qui est correct par rapport à une notion de bissimulation entre systèmes de transitions étiquetés.
Ici, on proposera une interprétation des réseaux d'interaction (déterministes, différentiels, ou multiport) dans les structures à événements, et on analysera la possibilité de trouver des codages corrects par rapport à cette sémantique.


La formule de Taylor donne-t-elle des modèles de la logique linéaire ?

Speaker:
Daniel de Carvalho (INRIA - Nancy)
Quando:
28/04/2008 - 15:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract


Les espaces de finitudes

Speaker:
Christine Tasson + Thomas Ehrhard (PPS - Paris 7)
Quando:
29/04/2008 - 09:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract

Risorse: finite.pdf 

Typing all but clashes

Speaker:
Beniamino Accattoli (Dip. Informatica - Univ. La Sapienza)
Quando:
29/04/2008 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract


L'iterateur dans les espaces de finitude + coefficients

Speaker:
Christine Tasson (PPS - Paris 7)
Quando:
29/04/2008 - 15:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract


Recoller les expériences, ou comment reconstruire un réseau à partir de son expansion de Taylor

Speaker:
Christine Tasson + Michele Pagani (PPS - Paris 7)
Quando:
30/04/2008 - 09:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract


Superpromotion(s) et présentation intuitionniste de la logique linéaire différentiel

Speaker:
Paolo Tranquilli (Dip. Matematica - Roma 3) + Stephan Gimenez (PPS - Paris 7)
Quando:
30/04/2008 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract


Réduction des reseaux différentiels avec boites

Speaker:
Paolo Tranquilli (Roma Tre - PPS)
Quando:
30/04/2008 - 15:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Abstract