Fifth Italian Conference on Theoretical Computer Science : Villa Rufolo, Ravello, Italy, November 9-11, 1995

A novel deterministic sampling scheme with applications to broadcast-efficient sorting on the reconfigurable mesh, S. Olariu and J. L. Schwing syntactical properties of an extention of Girard's system F where types can be taken as generic inputs, G. Belle Broadcast encryption schemes with disenrollment capability, C. Blundo and A. Cresti interleaving based partial ordering semantics, C. Priami set-theoretic decidability results for model theorem proving, G. D' Agnostino et al verifying identical communication processes is undecidable, A. Finkel and P. McKenzie an investigation on the optimal implementation of processes, C. Laneve reasoning about value-passing calculi in HOL, M. Nesi transforming comparison model lower bounds to the parallel-random-access-machine, D. Breslauer et al formalizing causal reasoning in law with an action-based language - a preliminary report, A. Provetti.