Subject: CTCS'97 final CFP

From: categories <[email-masked]>
Date: Thu, 31 Jul 1997 16:31:30 -0300 (ADT)

Date: Wed, 30 Jul 1997 19:48:54 +0200
From: Eugenio Moggi <[email-masked]>

  [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: [email-masked] (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

-----------------------------------------------------------------------------