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. |
Lista seminari
Descrizione | Programma | Lista seminari
Structures dévénements et réseaux d'interaction: une étude d'expressivité
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
|