CTCS 5 Category Theory in Computer Science 7th-10th September 1993 CWI, Amsterdam, The Netherlands Program and Registration Form PROGRAM Tuesday 7th September 9.15 Opening 9.30 - 10.30 Saunders Mac Lane (Invited Speaker) 10.30 - 11.00 Tea/Coffee 11.00 - 11.40 Pietro Cenciarelli and Eugenio Moggi A Syntactic Approach to Modularity in Denotational Semantics 11.40 - 12.20 Claudio Hermida and Bart Jacobs Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi 12.20 - 13.00 G. Michele Pinna and Axel Poign\'e The Mathematics of Event Automata 13.00 - 14.00 Lunch 14.00 - 14.40 A.J. Power Why Tricategories? 14.40 - 15.20 N. Sabadini, R.F.C. Walters and Henry Weld On Distributive Automata and Asynchronous Circuits 15.20 - 16.10 Tea/Coffee 16.10 - 17.00 Alain Prout\'e ``Substitution Should Not Respect Equality'' 17.00 - 17.40 Adam Obtulowicz Graphical Sketches, a Finite Presentation of Infinite Graphs 18.00 - 19.30 Reception Wednesday 8th September 9.30 - 10.30 N. Shanin (Invited Speaker) An Finitary Version of Mathematical Analysis Oriented to Computer Science 10.30 - 11.00 Tea/Coffee 11.00 - 11.40 Paul Taylor Intuitionistic Ordinals and Tarski's Theorem 11.40 - 12.20 Marcelo P. Fiore Cpo Categories of Partial Maps 12.30 Conference Outing 18.30 Conference Dinner Thursday 9th September 9.30 - 10.30 G. Rosolini (Invited Speaker) 10.30 - 11.00 Tea/Coffee 11.00 - 11.40 Daniele Turi and Bart Jacobs On final Semantics for Applicative and Non-deterministic Languages 11.40 - 12.20 S. Soloviev Reductions in Intuitionistic Linear Logic 12.20 - 13.00 B.P. Hilken and D.E. Rydeheard A Theory of Classes: Proofs and Models 13.00 - 14.00 Lunch 14.00 - 14.40 A. Carboni and P. Johnstone Connected Limits, Familial Representability and Artin Glueing 14.40 - 15.20 B.P. Hilken and D.E. Rydeheard Computing Colimits 15.20 - 16.10 Tea/Coffee 16.10 - 17.00 John G. Stell Sesqui-Categories and their Applications to Rewriting Systems 17.00 - 17.40 S. Kasangian, G. Mauri and N. Sabadini (presented by Sebastiano Vigna) Trees of Traces: A Categorical View Friday 10th September 9.30 - 10.30 A. Joyal (Invited Speaker) 10.30 - 11.00 Tea/Coffee 11.00 - 11.40 Akira Mori and Yoshihiro Matsumoto Unification in Categories and Proof Search in Intuitionistic Propositional Calculus 11.40 - 12.20 Martin Hofmann Sound and Complete Axiomatisations of Call by Value Control Operators 12.20 - 13.00 Eike Ritter and Valeria de Paiva Syntactic Multicategories and Categorical Combinators for Linear Logic 13.00 - 14.00 End/Lunch PROGRAM AND ORGANIZING COMMITTEE S. Abramsky, P.-L. Curien, P. Dybjer, G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A. Pitts, A. Poigne, D. Rydeheard, F.J. de Vries and E. Wagner. LOCAL ARRANGEMENTS Fer-Jan de Vries Department of Software Technology, CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands CONFERENCE ADMINISTRATOR CTCS-5, c/o CWI Ms. Anna Baanders P.O. Box 4079 1009 AB Amsterdam The Netherlands Tel. +31-20-5924048 Fax. +31-20-5924199 email: anna@cwi.nl REGISTRATION Register and make your hotel reservation in advance using the Registration and Accommodation Form. Mail or email the form to the Conference Administrator. No registration or reservation will be effective until full payment is received. CONFERENCE FEE The conference fee for CTCS-5 is NLG 500 for advance registration (to be paid by 10 August 1993) and NLG 600 after 10 August 1993. The fee includes admission to all sessions, lunches and coffee breaks, the conference dinner and the conference excursion. No refunds of payments will be made for cancellations received less than two weeks before the start of the conference. In other cases NLG 25 administrative charges and hotel no-show costs, if any. ACCOMMODATION A (limited) number of hotelrooms have been reserved at one of the AMS-group Hotels in centre town. Roomrates are NLG 130-170 for single and NLG 190 for double use (sharing a room is the responsibility of the registrant though: no matching service will be provided). To book accommodation, fill out the hotel reservations part of the Registration and Accommodation Form. A deposit of NLG 300 is to be paid in advance to make any reservation effective. This deposit will be deducted from your account when leaving. PAYMENTS Payments, net of all charges, are to be made in Dutch Guilders (NLG) and can be made by either -Banker's draft (bank check), made payable to "Stichting Wiskunde en Informatica Conferenties", and mailed to the conference administrator -Money transfer to account no. 31.35.57.977 of "Stichting Wiskunde en Informatica Conferenties" at the RABO-bank, Middenweg 88, Amsterdam (Postal giro of bank: 187744) Make sure that payments mention "CTCS-5" and your name. REGISTRATION AND ACCOMMODATION CTCS-5 Please type or print Name (last)____________________________ (first)______________ Affiliation_______________________________________________ ______________________________________________________ Address________________________________________________ Postal Code________________ City__________________________ Country________________________________________________ Email__________________________ Fax_____________________ Telephone______________________________________________ Special Requests_________________________________________ registers for CTCS-5. Registration fee: o NLG 500 o NLG 600 (late fee) Hotel Reservations Please reserve a o single/o double room in AMS Hotel Date of arrival:_________________ departure:___________________ Number of nights:_________________________________________ Payment : o NLG 300 Hotel deposit Payment: o I enclose a banker's draft o I transferred the registration fee to your bankaccount Mail to: CTCS-5 Secretariaat, CWI/Ms. Anna Baanders P.O. Box 4079, NL 1009 AB Amsterdam +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++