7. Category Theory and Computer Science 1997: Santa Margherita Ligure, Italy