[Please look at the conference URL for more detailed information] CATEGORY THEORY AND COMPUTER SCIENCE (CTCS'97) 4-6 SEPTEMBER 1997, S. MARGHERITA LIGURE (GENOA), ITALY CONFERENCE URL: "http://www.disi.unige.it/conferences/ctcs97/" FINAL CALL FOR PARTICIPATION CTCS'97 is the 7th conference on Category Theory and Computer Science. The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory, algebra, geometry and logic. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary. The proceedings will be published by Springer in the LNCS series. LOCATION. The conference will take place at Hotel Regina Elena, a 4 stars hotel with private beach, located in S. Margherita Ligure. S. Margherita is a beautiful sea resort in Liguria very close to Portofino promontory and about 30 km east of Genova. INVITED SPEAKERS - J. Baez, Univ. of California at Riverside (USA) - R. Bird, Oxford Univ. (UK) - B. Jay, Univ. of Technology Sydney (Australia) - G. Plotkin, Univ. of Edinburgh (UK) LATE REGISTRATION AND HOTEL RESERVATION. The late registration fee is 400000 It.Lire, and includes the welcome reception, coffee breaks, lunches, a copy of the proceedings. See the CONFERENCE URL for details on hotels and how to register. CONTACT INFORMATION: ctcs97@disi.unige.it (email), +39-10-3536699 (fax) ----------------------------------------------------------------------------- CONFERENCE PROGRAMME HOTEL REGINA ELENA Lungomare Milite Ignoto 44, 16038 S. Margherita Ligure, Italy phone: +39 (185) 287003, fax: +39 (185) 284473 WEDNESDAY, 3 September 18.00 Welcome Reception and Registration THURSDAY, 4 September 09.00 Invited Talk: Richard Bird 10.15 Coffee Break 10.40 Proof Principles for Datatypes with Iterated Recursion by Ulrich Hensel, Bart Jacobs 11.20 A Calculus for Collections and Aggregates by Kazem Lellahi, Val Tannen 12.00 When do datatypes commute? by Paul Hoogendijk, Roland Backhouse 12.40 Lunch 14.45 Invited Talk: John Baez 16.00 Coffee Break 16.30 A factorisation theorem for external derivations by Paul-Andre Mellies 17.10 Monads and Modular Term Rewriting by Christoph Lueth, Neil Ghani 17.50 A 2-Categorical Presentation of Term Graph Rewriting by Andrea Corradini, Fabio Gadducci FRIDAY, 5 September 09.00 Invited Talk: Barry Jay 10.15 Coffee Break 10.40 Presheaf Models for the pi-Calculus by Gian Luca Cattani, Ian Stark, Glynn Winskel 11.20 Categorical Modelling of Structural Operational Rules: case studies by Daniele Turi 12.00 Specifying Interaction Categories by Dusko Pavlovic, Samson Abramsky 12.40 Lunch 14.45 Invited Talk: Gordon Plotkin 16.00 Coffee Break 16.30 Lifting by A. Bucalo, G. Rosolini 17.10 General Synthetic Domain Theory -- A Logical Approach by Bernhard Reus, Thomas Streicher 17.50 Discussion on CTCS 20.00 Conference Dinner SATURDAY, 6 September 09.00 Shedding New Light in the World of Logical Systems by Uwe Wolter, Alfio Martini 09.40 Combining and Representing Logical Systems by Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski 10.20 Coffee Break 10.50 A decision algorithm for linear isomorphism of types O(nlog^2n) by Alexander Andreev, Sergei Soloviev 11.30 Effectiveness of the Global Modulus of Continuity on Metric Spaces by Klaus Weihrauch, Xizhong Zheng 12.30 Lunch Free Afternoon -----------------------------------------------------------------------------