------------------ CTCS-5 Category Theory and Computer Science Fifth Biennial Meeting September 7-10, 1993, CWI Amsterdam, the Netherlands ______________________________________________ Preliminary Program and Call for Registration ______________________________________________ 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 Dr. 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 PROGRAM The program of CTCS-5 will consist of invited lectures and selected presentations in plenary sessions. Invited lectures will be given by: - G. Rosolini (Genova) - N.A. Shanin (St. Petersburg) - A. Joyal (Montreal) - S. Maclane (Chicago) LIST OF SELECTED TALKS: Connected Limits, familial representability and Artin glueing A Carboni and P T Johnstone Graphical Sketches; A finite presentation of infinite graphs Adam Obtulowicz Substitution should not respect equality Alain Proute Why Tricategories A J Power Reductions in Intuitionistic Linear Logic S Soloviev A Syntactic Approach to Modularity in Denotational Semantics Pietro Cenciarelli & Eugenio Moggi Sesqui-Categories and their Applications to Rewriting Systems John G Stell Syntactic Multicategories and Categorical Combinators for Linear Logic Eike Ritter and Valeria de Paiva Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi Claudio Hermida and Bart Jacobs The Mathematics of Event Automata G Michele Pinna and Axel Poigne Sound and complete axiomatisations of call-by-value control operators Martin Hofmann CPO-categories of Partial Maps Marcelo P Fiore Intuitionistic Ordinals and Tarski's Theorem Paul Taylor On Final Semantics for Applicative and Non-Deterministic Languages Daniele Turi and Bart Jacobs Trees of Traces: A Categorical View S Kasangian, G Mauri and N Sabadini Computing Colimits B P Hilken and D E Rydeheard A Theory of Classes: Proofs and Models B P Hilken and D E Rydeheard Unification in Categories and Proof Search in Intuitionistic Propositional Calculus Akira Mori and Yoshihiro Matsumoto On distributive automata and asynchronous circuits N Sabadini, R F C Walters and Henry Weld AMSTERDAM Famous for its canals, gabled houses, bridges and museums, Amsterdam attracts millions of tourists each year. The old inner city is the most compact in Europe with almost 7000 National Trust buildings dating from the 16th century, when it was Europe's most important commercial center, to the 20th century. Through the centuries, Amsterdam has been characterized by its international orientation and its tolerance of diverse political and religious opinions. Amsterdam is the largest city in the Netherlands and the country's nominal capital. It is a major international center of commerce, banking, press and publishing, and ranks high on the list of cities favored with international conventions. At the beginning of September weather in Amsterdam is relatively mild, with daily highs usually in the 15-20 degrees centigrade range and occasional showers. GETTING THERE Amsterdam has a major international airport served by most international carriers and linked directly to over a hundred cities worldwide. The Schiphol International Airport is about 20 kilometers from Amsterdam's city center. There are frequent trains to Amsterdam's central railway station (Centraal Station, running 24 hours per day). CONFERENCE LOCATION CTCS-5 will be held at CWI, located in the city's eastern part (street address: Kruislaan 413) CWI can be easily reached with public transport from all parts of the city. CONFERENCE EVENTS There will be a reception for delegates on the evening of September 7th. An afternoon-excursion will be organized, followed by a formal conference dinner. 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 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++