gerald@ruuinf.cs.ruu.nl (Geraldine Leebeek) (07/04/89)
********************************* | INTERNATIONAL SUMMER SCHOOL | | on | | CONSTRUCTIVE ALGORITHMICS | ********************************* The following message contains an announcement of the International Summer School on Constructive Algorithmics organized by the University of Utrecht, Department of Computer Science, The Netherlands. Please pass this announcement along to the additional interested people. To obtain more information and a registration form, please reply to me or to one of the other addresses in this announcement; preferably by E-mail. INTERNATIONAL SUMMER SCHOOL on CONSTRUCTIVE ALGORITHMICS 12--21 September 1989 HOLLUM--,AMELAND THE NETHERLANDS The Subject ------------ The subject of the Summer School is a recently developed formalism (sometimes referred to as the Bird-Meertens formalism) for developing programs from formal specifications. It is essentially a calculus of functions on data structures, in which it is possible to solve problems by calculation with a hitherto unparallelled economy of notation and clarity of the development steps. While the formalism is still the subject of active research, enough theory has been established to warrant its presentation, in the form of a Summer School, to students of formal methods for program construction. The Lectures ------------ The lectures will cover a spectrum that includes - the necessary algebraic background - a comprehensive survey of established theory - new developments and research results An ample amount of time will be spent on exercises. This will allow the students to familiarize themselves thoroughly with the material and the techniques. The number of students will be strictly limited, to allow an intensive interaction between students and lecturers. The Lecturers ------------- The lectures will be given by active researchers in the field, including - Roland Backhouse, University of Groningen - Richard Bird, University of Oxford - Oege de Moor, University of Oxford - Lambert Meertens, CWI Amsterdam and University of Utrecht Workshop Sessions ----------------- In addition, informal workshop sessions will be conducted in the evenings. Primarily intended for the interchange of ideas and results between active researchers in the field, they will be open to attendance by interested students. There will be ``problem solving sessions'' addressing problems that do not yield to the currently known techniques, as well as sessions on advanced topics, such as the relationship with category theory. The STOP project ---------------- The Summer School is organized as part of the program of the Dutch STOP project, a cooperation between the Centrum voor Wiskunde en Informatica and the computer science departments of the Rijks Universiteit te Utrecht and the Katholieke Universiteit Nijmegen. The STOP project (Specification and Transformation of Programs) is a project sponsored by the Nationale Faciliteit Informatica. Its primary aim is to educate young computer scientists. The project attempts to achieve its goals by the following means: - employment of young computer scientists - invitation of foreign researchers - the organization of workshops - the organization of summer schools Venue ----- The Summer School will be held at the conference centre d'Amelanderkaap, quietly located in the western part of the Frisian island Ameland, close to the old village of Hollum. The conference centre is located near the dunes and sea shore, and its quiet, somewhat isolated location makes it an ideal location for intensive meetings. The hotel complex provides a heated swimming pool, a sauna, a fitness room, and squash and tennis courts. Participants will share two-bedroom apartments, each participant thus having their own bedroom. The apartments offer furthermore a bath, a living room and a small kitchen with refrigerator. Coffee- and tea-making facilities will be provided. In order to keep costs low no full hotel service is available for the apartments. You will be equipped with two sets of bed linen and an adequate supply of towels. You are however supposed to bring your own soap, shampoo etc. For a limited number of participants a single-bedroom apartment or hotel room will be available upon request. Those wanting to make use of this option are urged to indicate this on the registration form and to submit it as soon as possible. The extra fee for a non-shared apartment will be \fl 40 per night. Participants are assumed to arrive in the evening of Monday the 11th of September and to leave on Friday the 22nd of September after breakfast. Any meals taken earlier or later are not part of the arrangement covered by the registration fee. Because it is anticipated that during the weekend many people may want to visit other parts of the island, no provisions are made for lunch and dinner on Saturday and Sunday. Costs and Registration ---------------------- The registration fee for the Summer School amounts to: - Persons with Industrial Affiliation: fl 2000 - Persons with University Affiliation: fl 1000 and includes lodging, breakfast, lunch (except Saturday and Sunday), dinner (except Saturday and Sunday), a banquet, coffee and tea during breaks, and photocopies of presented material. For Dutch students, AIO's, and OIO's, a grant of fl 700 may be available, thus reducing the cost to fl 300. In order to be eligible for this subsidy a written letter of recommendation by the MSc/PhD supervisor must be submitted together with the registration form. Travel Information ------------------ The hotel can be reached from Schiphol airport in the following way: Schiphol-Leeuwarden by train Leeuwarden-Holwerd by bus Holwerd-Nes by boat Nes-Hollum by bus More detailed travel information will be sent to all participants after registering. Registration and Information ---------------------------- Please fill in the following form and submit it to: Summer School on Constructive Algorithmics Vakgroep Informatica Rijks Universiteit Utrecht P.O.Box 80.089 3508 TB UTRECHT The Netherlands Further information can be obtained from: Prof. Dr S. Doaitse Swierstra RU Utrecht +31-30-533962, 534040 E-mail: doaitse@cs.ruu.nl or Prof. Lambert Meertens CWI +31-20-5924141, 5924158 E-mail: lambert@cwi.nl Because the number of attendants is limited to 50, a quick response is recommended. Notice of acceptance will be given no later than the 6th of August. After acceptance fees are due immediately. In case of non attendance refunds will only be made if free slots can be filled by participants from a standby list. Registration Form ================= Summerschool on Constructive Algorithmics Vakgroep Informatica Rijks Universiteit te Utrecht P.O.Box 80.089 3508 TB UTRECHT the Netherlands Telefax: +31-30-521105 E-mail: doaitse@cs.ruu.nl Name: ...................................................... Affiliation: ............................................... Street and Number: ......................................... P.O.Box:.................................................... City: ...................................................... Country: ................................................... (Include postal code/zip code as appropriate) Telephone office: .......................................... Telephone home: ............................................ E-mail address: ............................................ Telefax:.................................................... I am a university researcher/PhD-student/Master-student/.......... If employed by industry, please indicate main activity: Check boxes: [ ] I do apply for a subsidy. Dutch students only; include letter of recommendation. [ ] I do apply for a separate room or single bedroom apartment for an additional fee of fl 40 per day. Date:...................................................... I declare that I will pay the fees due, after receiving notice of acceptance. Signature:.................................................