[Prev][Next][Index][Thread]
CTCS'97 final CFP
[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
-----------------------------------------------------------------------------