Settimana prossima doppio appuntamento:
(per maggiori informazioni vai su: http://logica.uniroma3.it)

I Seminario
TITOLO: Interpreting a finitary Pi-calculus in differential interaction nets
Speaker: Thomas Ehrhard (joint work with Olivier Laurent)
Quando: 16/04/2007 - 14:30
Dove: Aula 12, Facoltà Lettere e Filosofia, Università Roma Tre
Abstract:
We propose a translation of a pi-calculus without sums nor replication/recursion into an untyped and essentially promotion-free version of differential interaction nets. We define a transition system of labeled processes and a transition system of labeled differential interaction nets. We prove that our translation from processes to nets is a bisimulation between these two transition systems. This shows that differential interaction nets are sufficiently expressive for representing concurrency and mobility, as formalized by the pi-calculus.

II Seminario
TITOLO: Jump from Parallel to Sequential Proofs: Additives
Speaker: Paolo Di Giamberardino
Quando: 19/04/2007 - 17:00
Dove: Aula 19 -- Facoltà Lettere e Filosofia -- Università Roma Tre
Abtract:
In previous work, we introduced a framework for proof nets of the multiplicative fragment of Linear Logic, where partially sequentialised nets are allowed. In this seminar we extend this result to include additives, using a definition of proof net, called J-proof net, which is the typed version of an L-net of Faggian and Maurel.
In J-proof nets, we can characterize nets with different degrees of sequentiality, by gradual insertion of sequentiality constraints (jumps). As a byproduct, we obtain a simple proof of the sequentialisation theorem.