Date: Sat, 3 Jun 1995 23:13:50 -0300 (ADT) Subject: Help Date: Sat, 03 Jun 1995 15:53:40 JST From: Shigeru Ishimoto Hello, I am looking for work related to PolyType (Polynomial Type). Can anyone give me further information? Best regards, ----- _____ | A I S T Shigeru Ishimoto Dept. of CS Language Design Lab. | HOKURIKU 18-1-1 Asahidai Tatsunokuchichou Nomigun Ishikawaken Japan o_/ 1 9 9 0 Japan Advanced Institute of Science and Technology, Hokuriku Date: Mon, 5 Jun 1995 23:35:26 -0300 (ADT) Subject: Re: [Q] Modified notion of epi Date: Mon, 05 Jun 1995 17:40:16 +0200 From: HARDIEKA@uctvms.uct.ac.za I believe Hubertus Bargenda has such a notion. I don't know his current email address but he is at University of the Orange Free State in South Africa.. All best, Keith Hardie. Date: Tue, 6 Jun 1995 13:01:09 -0300 (ADT) Subject: WADT95 announcement Content-Transfer-Encoding: QUOTED-PRINTABLE Date: Tue, 6 Jun 1995 13:59:28 +0200 From: ADT95 Conference =09Dear Sir/Madam, =09as you may already know, the conference "11th ADT Workshop and 8th General Compass Meeting" (WADT95) is taking place in September 1995 in Oslo, Norway.=20 =09Attached please find a "Second Call for Participation" sheet. It includes some more information about the conference than the previous announcement which you may have received. =09For registration it is sufficient to fill out the attached application form and to send it by e-mail, or to send a form via WWW (address below). =09If you would like more information on this workshop, please send a message by e-mail to this account. Please proceed this information to all interested. =09On behalf of the WADT95 organizers, =09Tarik Cicic ___________________________________________________________________________= ____ =09=09=09=09=09=09 WADT95 Organization Institutt for informatikk e-mail: adt95@ifi.uio.no Postboks 1080 Blindern phone: +47 22 85 24 10 =20 0316 OSLO fax: +47 22 85 24 01 =20 Norway WWW: http://www.ifi.uio.no/~adt95/ ___________________________________________________________________________= ____ 11th ADT Workshop and 8th General Compass Meeting September 19 1995 -- September 23 1995 2nd Call for Participation Workshop on Specification of Abstract Data Types and ESPRIT Compass Meeting --------------------------------------------------------------------------- The two joint events will take place at Holmenkollen in Oslo. The workshop starts just after lunch-time Tuesday September 19, and lasts till Saturday evening September 23. Before the workshop a meeting of the IFIP WG 14.3 (Foundations of Systems Specifications) will be held the same place starting just after lunch-time Monday September 18. The workshop will provide an opportunity to meet colleagues, to present recent and ongoing work and to discuss new ideas and future trends. The workshop is organised by Olaf Owe and Ole-Johan Dahl from the University of Oslo, and Magne Haveraaen from the University of Bergen. The topics of the workshop include, but are not limited to: - algebraic specifications; - other approaches to formal specification; - specification languages and methods; - term rewriting and proof systems; - specification development systems (concepts, tools, etc.). As this is the final COMPASS year we have searched for invited speakers who may put the area of algebraic methods in a wider perspective, assess its practical value, and hopefully indicate possible future directions and links to related areas. The invited speakers include: - E. Astesiano (Universit=E1 di Genova, Italy) - R. Burstall (University of Edinburgh, United Kingdom) - H. Ehrig (Technische Universit=E4t Berlin, Germany) - C.A.R. Hoare (Oxford University, United Kingdom) - J. Horning (DEC Systems Research Center, Palo Alto, Ca, USA) - B. Krieg-Bruckner (Universit=E4t Bremen, Germany) - P. Lescanne (CRIN, Nancy, France) In addition there will be many prominent speakers from within the COMPASS project. The proceedings, consisting of a selection of the presented talks through the usual referee process, will be published after the workshop, probably in the Lecture Notes series of the Springer-Verlag (see e.g. the Recent Trends in Data Type Specifications series, no. 332, 534, 655, 785, ...). Please note: as there is a limited number of slots for talks, REGISTER NOW! We will accept speakers essentially in the order of arrival date of their registrations (a corrective mechanism is organised in order to guarantee visibility to every site). So if you plan to have a talk please let us know as soon as possible (communication via e-mail or WWW is suggested). Location -------- The workshop will be held at the Soria Moria Conference Center at Holmenkollen in Oslo, just 12 km from downtown and 14 km from the airport. The centre is located on the top of a hill, Voksenkollen, 500 m above sea level, overlooking the Oslo Fjord. It is bordering "Nordmarka", the Oslo forest national park, covering a huge area with lakes, forest and hills. Whereas September is too early for skiing, it is a good time for hiking, with trees in fall colours. For sporty participants we plan a hiking excursion to an old-fashioned log-cabin serving homemade food. An alternative excursion will show some of the interesting places in Oslo, such as the Viking ship museum (with authentic viking ships), the old stave church, the Vigeland sculpture park, Aker brygge (a fjord-front shopping and restaurant area with new and old architecture), the Munch Museum and the Holmenkollen ski jump national monument. Depending on the number of accompanying persons, and their interests, we will try to improvise some additional informal sightseeing. Also, one may take a suburban train to downtown Oslo in 30 minutes and visit the center (around Karl Johans gate) with museums, shops, and walking streets, all close together. For those interested in seeing more of Norway, such as the famous west coast fjords, the mountains, or the north of Norway, we will provide information about trips taking a few days or more. We especially recommend the Norway-in-a-nutshell trip, which includes the famous train ride from the mountains down to Fl=E5m and a boat tour on the Sognefjord. It is possible to make this tour starting from Oslo in the morning and returning to Oslo by night-train, or extend the trip to include a visit to Bergen. Accommodation ------------- According to tradition, the workshop is planned on a residential base, so participants are required to stay at the Soria Moria hotel. It is a modern hotel with excellent conference facilities, including swimming pool and sauna. Normal arrival is expected Tuesday September 19 after lunch, and departure on Sunday September 24 after breakfast, with the possibility of extending the stay in both directions. Participants to the IFIP WG 14.3 meeting are expected to arrive Monday September 18 after lunch. We have reserved a number of rooms, both single and double, and expect to be able to accommodate everybody registering {\bf before June 15}. We will try to accommodate people registering by July 31, depending on room availability. Please note: the single rooms will be assigned essentially following a FIFO principle; thus if you want a single room, book it now. Prices ------ We have an agreement with the hotel for a special price for full board during the workshop. For a single room this amounts to 880 NOK per day, and to 620 NOK per day per person in a double room. For the whole workshop the prices in Norwegian Crowns (NOK) amount to: ! WADT/COMPASS (Tue-Sun) ! WG14.3/WADT/COMPASS (Mon-Sun) -----------------+-------------------------+------------------------------ single room ! 4400 NOK (ca. 530 ECU) ! 5280 NOK (ca. 640 ECU) double room, p.p.! 3100 NOK (ca. 375 ECU) ! 3720 NOK (ca. 450 ECU)=20 -----------------+-------------------------+------------------------------ Note that the prices in ECU are obtained at the current rate (which can be different in September). As usual a reasonable registration fee will be charged, to cover expenses like proceedings publication, social events and so on. The precise amount has still to be established, depending on the real costs and the funds that can be raised to cover them, but we expect it to be no more than 200 ECU. Some support may be available for participants from countries with soft currencies. Applications for support must be received by the registration deadline. Travel Information ------------------ The Soria Moria hotel is easily reachable by bus and taxi from downtown Oslo or directly from the Fornebu Airport in Oslo, with direct flight connections from most major European cities. Intercontinental travel is usually via Copenhagen, but some direct connections exist. The dates for the events have been chosen so that participants can make use of reduced airfares (PEX, APEX). There are also direct ferry conections to Kiel and Copenhagen. Other information ----------------- More organisational details will follow, and registered participants will be kept informed. Updated information will also be available on the World-Wide Web (WWW) at URL: http://www.ifi.uio.no/~adt95/ AS THERE IS A LIMITED NUMBER OF PLACES AVAILABLE FOR THE WORKSHOP, REGISTER EARLY! We will accept participants in the order of date of arrival of the =09=09 enclosed registration form =09 +---------------------------------------------------+ ! DEADLINE FOR REGISTRATION IS THE 15TH OF JUNE '95 ! =09 +---------------------------------------------------+ Please return the registration form (by e-mail or surface mail) to the following address. Registration using WWW is also possible. ADT'95 Organisation Institutt for informatikk e-mail: adt95@ifi.uio.no Postboks 1080 Blindern phone: +47 22 85 24 10 =20 0316 OSLO fax: +47 22 85 24 01 =20 Norway WWW: http://www.ifi.uio.no/~adt95/ ------------------------------------------------------------------------ 11th ADT Workshop and 8th General Compass Meeting Registration form =09=09One form for each participant, please! Family Name ........................................................ Christian Name ........................................................ Institution ........................................................ Mailing address ........................................................ ........................................................ ........................................................ ........................................................ ........................................................ E-mail ........................................................ Fax ........................................................ Telephone ........................................................ I will attend to the workshop ... yes ... no I intend to give a talk ... yes ... no If yes, provisional title .............................................. ........................................................ ........................................................ I prefer ... single room ... double room I would like to share the room with ................................ Special meal requirements (please specify): ............................ I will arrive .......................... I will depart .......................... I am a member of IFIP WG 14.3 ... yes ... no Name of accompanying non-participants .................................. for which I need ...... additional single rooms and ...... additional double rooms Signature ............................................................. Date: Sun, 11 Jun 1995 11:23:48 -0300 (ADT) Subject: Re: Diskin's question Date: Fri, 09 Jun 95 From: Mamuka Jibladze Despite some confusion around the question of Diskin I think there is an exemplary situation where one may test ideas; hence a partial answer to > 4. I'd find it a lot easier to think about the problem if I had a > simple example of a category (other than a topos) with this property, > on which to test my ideas. Does Diskin (or anyone else) have such an > example? > > Peter Johnstone > . Choose some notion of `small' good enough, in particular inherited by quotients (plus further strong requirements; e.g. I believe `K-finite' satisfies them all). Take a topos where the subobject classifier is not small. Consider the subcategory of small objects. Then the IMAGES of classifying maps of relations may serve for the purpose Diskin is talking about. One simple example: the category of finite-sets-with-an-endomap. Mamuka Jibladze Date: Sun, 11 Jun 1995 11:27:41 -0300 (ADT) Subject: next June Date: Sat, 10 Jun 1995 20:56:50 +0500 From: James Stasheff is anyone aware of any conferences in Europe between 10 and 15 June next year which in anyway relate to alg topology, homtopy theory, operads, etc.?? thansk jim Jim Stasheff jds@math.unc.edu Math-UNC (919)-962-9607 Chapel Hill NC FAX:(919)-962-2568 27599-3250 May 15 - August 15: 146 Woodland Dr Lansdale PA 19446 (215)822-6707 Date: Wed, 14 Jun 1995 23:47:04 -0300 (ADT) Subject: Abramsky to Edinburgh Date: Wed, 14 Jun 1995 12:50:13 -0400 From: Peter Freyd It's now official: Professor Samson Abramsky will be the first holder of the newly- established Chair in Theoretical Computer Science, at The University of Edinburgh. He will take up this post on January 1st 1996. Date: Thu, 15 Jun 1995 11:24:12 -0300 (ADT) Subject: Poste a Tours Date: Thu, 15 Jun 95 15:27:10 +0100 From: Pierre Damphousse Chers col\Aegues, Suite \Aa la mutation d'un membre du d\'epartement de math\'ematiques de Tours, celui-ci disposera l'an prochain d'un poste de professeur invit\'e pour six mois (ou peut-\^etre un an). Cette pesonne devra pouvoir enseigner en francais, et\^ etre dej\Aa titulaire d'un poste dans son pays d'origine. Le poste est ouvert \Aa toutes les specialit\'es. Le salaire mensuel est de l'ordre de 23000FF net (\'etant entendu que sur six mois quatre mois seulement sont des mois d'enseignement, les autres \'etant contarctuel- lement pour la recherche). Nul besoin de dire que je souhaite que ce poste "ouvert \'a toutes les specialites" le soit pour un cat\'egoricien. Cela conforterait mes efforts pour c\'eer une impulsion en math\'ematiques pures \Aa Tours. Comme il y a urgence, les candidats int\'eress\'es sont pri\'es de me faire parvenir leur Curriculum Vitae LE PLUS VITE POSSIBLE. Merci. Et pardon a ceux que cet envoi automatique a pu g\^ener. Pierre DAMPHOUSSE Date: Mon, 19 Jun 1995 08:59:43 -0300 (ADT) Subject: Dana Scott, Honorary Degree Celebration; further details. Date: Sun, 18 Jun 1995 20:48:49 +0100 From: Michael Fourman +++++++++++++++ + Dana Scott + +++++++++++++++ Celebration of Honorary D.Sc. further details. ============================= Edinburgh, 13th - 14th July 1995 Invitation ========= On 12th July 1995, The University of Edinburgh will confer the Honorary Degree of Doctor of Science on Prof. Dana Scott, of Carnegie Mellon University, Pittsburgh, USA. We take great pleasure in inviting friends and colleagues to join in an informal celebration of this award, which we will hold in Dana's honour on 13th and 14th July 1995. If you would like to join us, please reply to Tracey Combe (tlc@dcs.ed.ac.uk), with full postal address, by 28th June. Programme ========= 13th July 1995 --- Logic in Informatics 14.00 Colin Stirling: Logic in Computer Science 15.00 Coffee 15.30 Alan Bundy: Logic in AI 16.30 Keith Stenning: Logic in Cognitive Science 17.30 Informal Reception (ending circa 19.30) 14th July 1995 --- Highlights of Dana's work 09.00 Coffee 09.30 Angus MacIntyre: Dana at Stanford and Princeton 10.30 Martin Hyland: Dana at Oxford 11.30 Coffee 12.00 John Reynolds: Dana at CMU 13.00 Lunch (Buffet) 14.00 Introduction: Peter Freyd 14.15 Thanks: Michael Fourman 14.30 Dana 16.00 Tea Lectures and reception will be held in the James Clerk Maxwell Building on the Science Campus (King's Buildings) of The University of Edinburgh, Edinburgh EH9 3JZ. ------------------------------------------------------------------------------- Prof. Michael P. Fourman, Department of Computer Science, Informatics PU, University of Edinburgh, King's Buildings, Mayfield Road, Edinburgh EH9 3JZ Scotland, UK. email : Michael.Fourman@ed.ac.uk Tel: (+44)131-650-5197 Fax : (+44)131-667-7209 Date: Mon, 19 Jun 1995 09:00:35 -0300 (ADT) Subject: "Themes in the Semantics of Computation", 17--21 July 1995 Date: Mon, 19 Jun 1995 11:44:47 +0100 From: Andrew Pitts A Newton Institute Workshop THEMES IN THE SEMANTICS OF COMPUTATION 17--21 July 1995 Newton Institute, Cambridge, UK Final Announcement This Workshop is one of the opening events of the programme on Semantics of Computation to be held at the Newton Institute July--December 1995. The aim of the Workshop is to map out a number of the themes to be addressed over the course of the programme, with particular emphasis on the interface between theory and practice. A number of distinguished researchers will give keynote lectures in which they will review the progress that has made, and identify key problems to be addressed. There will also be scope for contributed talks. KEYNOTE SPEAKERS: Peter Freyd (Pennsylvania) "Between Mathematics and Computation: problems and perspectives" C.A.R. Hoare (Oxford) "Unifying theories of programming" Cliff Jones (Manchester) "Some practical problems and their influence on semantics" Gilles Kahn (INRIA Sophia-Antipolis) "Semantic ideas for building and maintaining programs: progress and problems" Robin Milner (Cambridge) "Interaction vs. Evaluation" John Reynolds (Carnegie-Mellon) "The influence of semantics on programming language design" Akinori Yonezawa (Tokyo) "Theory and Practice of Concurrent Object-oriented Programming" OTHER SPEAKERS WILL INCLUDE: David Benson (Washington) Stephen Brookes (Carnegie-Mellon) John Mitchell (Stanford) Laurence Paulson (Cambridge) Benjamin Pierce (Cambridge) Michel Sintzoff (Louvain) Alan Stewart (Belfast) Mads Tofte (DIKU) Philip Wadler (Glasgow) David Walker (Warwick) Peter Wegner (Brown) PROVISIONAL PROGRAMME Monday 17 July 9.30 - 10.00 Registration 10.00 - 10.30 Coffee 10.30 - 12.00 C.A.R. Hoare, "Unified theories of programming" 12.00 - 14.00 Lunch 14.00 - 15.30 P.J.Freyd, "Between Mathematics and Computation: problems and perspectives" 15.30 - 16.00 Tea 16.00 - 16.45 Laurence Paulson, "A concrete final coalgebra theorem for ZF set theory" 16.45 - 17.30 Contributed talks Tuesday 18 July 9.00 - 10.30 Robin Milner, "Interaction vs. Evaluation" 10.30 - 11.00 Coffee 11.00 - 11.45 David Walker 11.45 - 12.30 Mads Tofte 12.30 - 14.00 Lunch 14.00 - 15.30 Gilles Kahn, "Semantic ideas for building and maintaining programs: progress and problems" 15.30 - 16.00 Tea 16.00 - 16.45 Alan Stewart, "Reasoning about data parallel array assignment" 16.45 - 17.30 Contributed talks Wednesday 19 July 9.00 - 10.30 John Reynolds, "The influence of semantics on programming language design" 10.30 - 11.00 Coffee 11.00 - 11.45 John Mitchell 11.45 - 12.30 Philip Wadler 12.30 - 14.00 Lunch 14.00 - free afternoon Thursday 20 July 9.00 - 10.30 Cliff Jones "Some practical problems and their influence on semantics" 10.30 - 11.00 Coffee 11.00 - 11.45 Benjamin Pierce, "View from the Other Shore: applying concurrency notation to database problems" 11.45 - 12.30 Michel Sintzoff 12.30 - 14.00 Lunch 14.00 - 14.45 David Benson 14.45 - 15.30 Contributed talks 15.30 - 16.00 Tea 16.00 - 17.30 Contributed talks Friday 21 July 9.00 - 10.30 Akinori Yonezawa "Theory and Practice of Concurrent Object-oriented Programming" 10.30 - 11.00 Coffee 11.00 - 11.45 Stephen Brookes, "Fairness Revisited" 11.45 - 12.30 Peter Wegner, "Interaction Machines: semantics and expressive power" 12.30 - 14.00 Lunch 14.00 - 17.30 Contributed talks CONFERENCE LOCATION, COSTS AND REGISTRATION The workshop will take place in the Newton Institute's purpose-designed building, in a pleasant area in the west of Cambridge, about one mile from the centre of the City. There will be a registration fee of 40 pounds (includes the cost of lunches, coffee and tea breaks). The Newton Institute can provide assistance with finding local accommodation---the cost of which is likely to be 35 pounds per day including breakfast. To register, please return the appended REGISTRATION FORM to: Michael Sekulla Isacc Newton Institute 20 Clarkson Road Cambridge CB3 0EH Tel: +44 1223 335984 Fax: +44 1223 330508 Email: M.F.Sekulla@newton.cam.ac.uk ---------------------------------------------------------------------- REGISTRATION FORM [Return to M.F.Sekulla@newton.cam.ac.uk] Newton Institute for Mathematical Sciences Workshop on THEMES IN THE SEMANTICS OF COMPUTATION 17--21 July 1995 Name: Organization: Address: Telephone: Fax: Email: Accomodation needed? Yes/No* If yes, which nights [16, 17, 18, 19, 20, and 21 recommended]? Sunday 16 Monday 17 Tuesday 18 Wednesday 19 Thursday 20 Friday 21 Offering contributed talk? Yes/No* [If yes, send abstract direct to sa@doc.ic.ac.uk] Social events: Are you interested in taking a guided tour of Cambridge during the free afternoon (cost: 3.50 pounds/person)? Yes/No* Do you want to attend a workshop banquet scheduled for Thursday evening (estimated cost 25 pounds/person)? Yes/No* [* - delete as appropriate] ------------------------------------------------------------------------ Date: Mon, 26 Jun 1995 09:57:28 -0300 (ADT) Subject: defended and corrected thesis: `Complexity Doctrines' Date: Sun, 25 Jun 95 21:25:02 EDT From: James Otto Dear people, The thesis `Complexity Doctrines', which was announced to this list at submission, was defended June 9. The June 13 corrected version is now linked to ftp://triples.math.mcgill.ca/pub/otto/otto.html which is in turn linked to ftp://triples.math.mcgill.ca/ctrc.html (The thesis is actually at ftp://triples.math.mcgill.ca/pub/otto/thesis.ps.gz.) Bon Soir, Jim Otto otto@triples.math.mcgill.ca Date: Wed, 28 Jun 1995 17:55:14 -0300 (ADT) Subject: Call for papers: CAAP-CC-ESOP 96 Date: Wed, 28 Jun 1995 11:45:30 +0200 From: Helene Kirchner CALL FOR PAPERS CAAP'96 CC'96 ESOP'96 22-26 April 1996, Linko"ping, Sweden Deadline for submission : 19 September 1995 The full version and further information are available at URL http://www.ida.liu.se/activities/conferences/CAAP-CC-ESOP96/ CAAP: Colloquium on Trees in Algebra and Programming This colloquium series was originally devoted to the algebraic and combinatorial properties of trees and their roles in various fields of Computer Science. Its scope has extended to several other structures, such as words or graphs, which play similar roles and deserve similar theoretical studies. In keeping with these traditions, CAAP'96 will cover algebraic, logical and combinatorial properties of discrete structures and their application to Computer Science. This includes the following non-exhaustive list of topics: basic objects in computation processes, especially words, trees, graphs and their languages; techniques for manipulating these objects, such as automata, grammars, regular expressions, rewriting, unification, matching and constraint solving; applications of these structures to syntax and semantics of programming languages, transition systems and models of concurrency, logic and formal verification; and theoretical problems arising in software development. CC: International Conference on Compiler Construction The International Conference on Compiler Construction provides a forum for presentation and discussion of recent developments in the area of compiler construction, language implementation and language design. Its scope ranges from compilation methods and tools to implementation techniques for specific requirements of languages and target architectures. It also includes language design and programming environment issues which are related to language translation. There is an emphasis on practical and efficient techniques. Traditionally, this includes the following non-exhaustive list of topics: tools for any phase of compilation, methods and techniques for code generation and optimization, compilation for parallel architectures, compilation of computer languages (imperative, functional, logic, object-oriented, parallel, etc.), translation of application and specification languages, and other tools closely related to compiler construction (debuggers, data flow analyzers, etc.). ESOP: European Symposium on Programming This conference is devoted to fundamental issues in the specification, analysis and implementation of programming languages and systems. It particularly welcomes research which bridges the gap between theory and practice: for example, practical studies based on theoretical developments and theoretical developments with a clearly identified potential for practical application. The emphasis is on the soundness and correctness of the approach. Traditionally, this includes the following non-exhaustive list of topics: software specification and verification (including algebraic techniques and model checking), programming paradigms and their integration (including functional, logic, concurrent and object-oriented), semantics facilitating the formal development and implementation of programming languages and systems, advanced type systems (including polymorphism and subtyping), program analysis (including abstract interpretation and constraint systems), program transformation (including partial evaluation and term rewriting), and implementation techniques (including compilation). SUBMISSION Original papers on topics relevant to CAAP'96, CC'96 and ESOP'96 are sought. Prospective authors are invited to submit five copies of a full draft paper (at most 15 pages in the standard Springer Lecture Notes format) and to electronically mail a plain ascii title and abstract to: CAAP'96 attn. Helene Kirchner CRIN & INRIA-Lorraine Batiment LORIA, Campus Scientifique BP 239 F-54506 Vandoeuvre-les-Nancy France Telephone: +33 83 59 30 12 Telefax: +33 83 27 83 19 E-mail: caap96@loria.fr CC'96 attn. Tibor Gyimothy Department of Informatics Jozsef Attila University P.O. Box 652 H-6701 Szeged Hungary Telephone: +36 62310011/3771 Telefax: +36 62312508 E-mail: cc96@inf.u-szeged.hu ESOP'96 attn. Hanne Riis Nielson Computer Science Department Aarhus University Ny Munkegade, Bldg. 540 DK-8000 Aarhus C Denmark Telephone: +45 8942 3188 Telefax: +45 8942 3255 E-mail: esop96@daimi.aau.dk Deadline for submission : 19 September 1995 Notification to authors : 10 November 1995 Final papers due: 20 January 1996 Papers must be unpublished and not submitted for publication elsewhere. Each submission should include a short abstract, a list of keywords, and should clearly indicate an address for correspondence, with e-mail address if available. Authors who have no access to photocopying facilities may submit a single copy. Electronically submitted papers will not be considered. Papers that attempt to establish links between different approaches will be particularly welcome. Papers will be carefully refereed and will be judged on the basis of relevance, originality, significance, correctness, and clarity. Papers arriving late may be rejected immediately, without refereeing. The receipt of all submitted papers will be acknowledged. The proceedings are expected to be published by Springer-Verlag in the Lecture Notes in Computer Science series. PROGRAM COMMITTEES CAAP'96 H. Kirchner (France, chair) M. Filgueiras (Portugal) D. Hofbauer (Germany) J.R. Kennaway (UK) P.D. Mosses (Denmark) R. Nieuwenhuis (Spain) T. Nipkow (Germany) D. Niwinski (Poland) R. Pinzani (Italy) F. Rossi (Italy) D. Sannella (UK) S. Tison (France) CC'96 T. Gyimothy (Hungary, chair) M. Bartha (Hungary, Canada) P. Fritzson(Sweden) P. Franchi-Zannettacci (France) R. Gupta (USA) N. Horspool (Canada) M. Jourdan (France) S. Jahnichen (Germany) U. Kastens (Germany) K. Koskimies (Finland) B. Magnusson (Sweden) T. Reps (USA) G. Riedewald (Germany) B. Ryder (USA) J. Uhl (Germany) D.A. Watt (UK) ESOP'96 H.R. Nielson (Denmark, chair) R. Cousot (France) P. Degano (Italy) R. Giegerich (Germany) C.L. Hankin (UK) P. Klint (The Netherlands) A. Mycroft (UK) O. Nierstrasz (Switzerland) F. Orejas (Spain) R. Plasmeijer (The Netherlands) D. Re'my (France) B. Steffen (Germany) C. Talcott (USA) A. Tarlecki (Poland) INVITED SPEAKERS CAAP'96 Samson Abramsky (UK) Frank Pfenning (USA) CC'96 William Waite (USA) ESOP'96 Cliff Jones (UK) Simon Peyton-Jones (UK) LOCAL ARRANGEMENT The conferences will be held at the University of Linko"ping, Sweden. The chairman of the local arrangement committee is: CAAP/CC/ESOP'96 attn. Peter Fritzson Department of Computer and Information Science Linko"ping University S-581 83 Linko"ping, Sweden Telephone: +46 13 282297 Telefax: +46 13 282666 E-mail: conf96@ida.liu.se SYSTEM EXHIBITION Software systems may be demonstrated in parallel with the conferences; no charge will be made for non-commercial software. Proposals for demonstration should be mailed to the chairman of the local arrangements committee. Each proposal should give a brief description of the software explaining its relevance for the conferences (about two pages). The hardware and software requirements for installing and demonstrating the software should be specified on a separate page. Postal and e-mail addresses should be clearly indicated. SATELLITE MEETINGS Facilities will be provided for holding short specialized workshops and other meetings (e.g. meetings of ESPRIT Basic Research Projects and Working Groups) in conjunction with the conferences. Organizers are invited to make arrangements with the chairman of the local arrangements committee (deadline: 1 February, 1996). Date: Thu, 29 Jun 1995 16:20:16 -0300 (ADT) Subject: answer to Diskin's question Date: Thu, 29 Jun 1995 19:05:29 MESZ From: Thomas Streicher I think I have an answer now to Z. Diskin's question on what he called originally bounded toposes. His setting is a category C with pullbacks and binary products. Assume that there is given a family of B-indexed subobjects of A represented by a mono R >-> BxA. How can formulate by a universal property the collection of all subobjects of A showing up in the enumeration " { {a:A|R(b,a)} | b:B} " Consider the presheaf H_R : C^op -> Set defined as H_R(I) = { (fxA)*R | f : I -> B } H_R(f)(S) = (fxA)*S We say that that the "power object of A bounded by R" exists if the presheaf H_R is representable, i.e. there exists an object P_R(A) together with a subobject E(A,R) >-> P_R(A)xA such that for any f : I -> B the subobject (fxA)*R can be obtained as (chi x A)*E(A,R) for a unique chi : I -> P_R(A). If "bounded" is understood in the liberalized sense that one means by P_R(A) the collection of subsets of A contained in a {a:A|R(b,a)} for some b : B then one simply has to redefine the presheaf H_R as follows H_R(I) = { S >-> IxA | S contained in (fxA)*R for some f : I -> B} . Under this interpretation of "bounded" a category C with finite limits is a topos iff for any A the bounded Power Object P_R exists for the relation : A -> 1xA. Thomas Streicher