Preface List of contributors Part I. Tutorials: 1. Category theory for linear logicians R. Blute and Ph. Scott 2. Proof nets and the x-calculus S. Guerrini 3. An overview of linear logic programming D. Miller 4. Linearity and nonlinearity in distributed computation G. Winskel Part II. Refereed Articles: 5. An axiomatic approach to structural rules for locative linear logic J. M. Andreoli 6. An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu and M. Quatrini 7. Slicing polarized addictive normalization O. Laurent and L. Toratora De Falco 8. A topological correctness criterion for muliplicative noncommutative logic P.A. Mellies Part III. Invited Articles: 9. Bicategories in algebra and linguistics J. Lambek 10. Between logic and quantic: a tract J. Y. Girard.