From: asperti@CS.UniBO.IT (Andrea Asperti)


			   CONFER-2 WG
			Bologna Workshop
			24-26 march 1997.

			GENERAL INSTRUCTIONS


*********************
Monday.

9.00 Welcome.
9.10 - 9.50   G.Boudol. The pi-calculus in direct style.
9.50 - 10.30  J.Parrow. Pieces of pi: substitution and scoping.

11.10 - 11.50 M.Hennessy. A denotational Model for a subset of Core Facile.
11.50 - 12.30 Uwe Nestmann. Encoding Mixed-guarded Choice.


14.10 - 14.50 R.Amadio. An asynchronous model of locality, failure,
              and process mobility.
14.50 - 15.30 J.Riely. Distributed Processes and Location failures.

16.10 - 16.50 G.Ferrari. Locality based Linda: programming with explicit
              localities.
16.50 - 17.30 P.Gardner. From Action Calculi to Linear Logic.

*********************
Tuesday.

9.10 - 9.50   J.W.Klop. Sequentiality in lambda calculus and PCF via
              origin tracking.
9.50 - 10.30  P.Mellies. A Factorisation Theorem for external derivations

11.10 - 11.50 R.Bruni. Zero Safe Nets.
11.50 - 12.30 O.H.Jensen. Graph rewriting and labelled transition semantics.


14.10 - 14.50 P.Sewell. Local Channel Typing for a distributed
              pi-calculus.
14.50 - 15.30 D.Sangiorgi. Interpreting Typed Object calculi into typed
              pi-calculus.

16.10 - 16.50 D.Remy. Implicit typing a la ML for the join calculus.
16.50 - 17.30 L.Maranget. The implementation fo the join calculus.

*********************
Wednesday

9.10 - 9.50   V.Danos. Distributed functional evaluation.  
9.50 - 10.30  L.Regnier. GOI and coherent semantics

11.10 - 11.50 P.Baillot. AJM game semantics for classical LL. 
11.50 - 12.30 A.Asperti. P = NP, up to sharing.