From owner-theorynt@LISTSERV.NODAK.EDU Thu Mar 27 23:49:03 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id XAA11111 for ; Thu, 27 Mar 1997 23:49:03 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id XAA06019; Thu, 27 Mar 1997 23:37:57 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.C2E2AB20@listserv.nodak.edu>; Fri, 28 Mar 1997 1:38:39 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 11523859 for THEORYNT@LISTSERV.NODAK.EDU; Fri, 28 Mar 1997 01:38:30 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.B9C94300@listserv.nodak.edu>; Fri, 28 Mar 1997 1:38:27 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 11523764 for THEORY-A@LISTSERV.NODAK.EDU; Fri, 28 Mar 1997 01:38:11 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A98682F0@listserv.nodak.edu>; Fri, 28 Mar 1997 1:37:56 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id XAA05948 for theory-a@listserv.nodak.edu; Thu, 27 Mar 1997 23:37:55 -0800 (PST) X-Mailer: Mozilla 3.01Gold (X11; I; SunOS 4.1.3_U1 sun4m) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <3337FB5F.15FB7483@win.tue.nl> Date: Thu, 27 Mar 1997 23:37:54 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Herman Geuvers Sender: TheoryNet List From: Herman Geuvers Organization: Technische Universiteit Eindhoven Subject: CFP: School on Computational and Syntactic Methods August 1997 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 6851 Sorry if you receive this announcement more than once ------------------------------------------------------------ ANNOUNCEMENT and CALL FOR PARTICIPATION European Educational Forum School on COMPUTATIONAL and SYNTACTIC METHODS Mierlo, The Netherlands, August 11 -- 22, 1997 http://www.win.tue.nl/cs/ipa/activities/school.on.compsynmeth.0897.html GENERAL INFORMATION The School on Computational and Syntactic Methods is the second event organised by the European Educational Forum (EEF), a joint initiative of the three interuniversitary research schools BRICS (Basic Research In Computer Science) from Denmark, IPA (Institute for Programming research and Algorithmics) from the Netherlands, TUCS (TUrku centre for Computer Science) from Finland. The first EEF-event was the School on Embedded Systems, in November 1996; the third EEF-event will be the School on Natural Computing to be held in Turku, Finland, August 25 --29, 1997. The EEF organises a series of four `Summer Schools on Foundations of Computing Science', each covering specific parts of the Handbook of Logic in Computer Science (Eds. Abramsky, Gabbay and Maibaum, Oxford University Press). The relevant Handbook chapters are part of the course material. The first school in this series of four is this School on Computational and Syntactic Methods, to be held in Mierlo, close to Eindhoven in the south of the Netherlands. The school is sponsored by the EC via the TMR network ``Synergos'', so young researchers (up to 35 years of age) from the EC can apply for a grant, covering for part of the costs for travel and subsistance. PROGRAM FOR THE SCHOOL The program of the school consists of five courses. Each of the courses consists of lectures and exercise hours. Details of the precise schedule of the courses will be provided later. The courses to be given are: Term Rewriting - Klop (Amsterdam NL), Zantema (Utrecht NL) Type Systems - Barendregt (Nijmegen NL), Geuvers (Eindhoven NL) Models of Concurrency - Winskel, Nielsen (Aarhus DK) Effective Algebras - Tucker (Swansea UK), Stoltenberg-Hansen (Uppsala SE) Process Algebra - Baeten (Eindhoven NL), Verhoef (Amsterdam NL) COURSE MATERIAL The material will be handed out at the beginning of the course. It includes Volumes 2 and 4 of the Handbook of Logic in Computer Science (Eds. Abramsky, Gabbay and Maibaum, Oxford University Press)and furthermore some additional course notes and exercises. LOCATION AND ACCOMODATION Mierlo is a small city close to the city of Eindhoven, in the south of the Netherlands. Eindhoven is 1 hour and 50 minutes by train from Amsterdam Schiphol Airport. Eindhoven has its own small airport and good train connections with the rest of the Netherlands. The event takes place in the Conference Centre `de Brug' in Mierlo. Here you will find all facilities under one roof: hotel-rooms, restaurants, bars and a wide range of sports- and recreation facilities (such as bowling, squash and tennis courts, a swimming pool, sauna, fitnessroom, etc.). De Brug also provides a nice environment for cycling and hiking. The prices are: Dfl 1669,- per person, from August 11 till August 22 on a two-person bedroom. (Includes all meals and tea and coffee during the breaks.) An extra night before or after the meeting costs Dfl 83,-. For a one-person bedroom these prices are Dfl 1994,- and Dfl 127,-, respectively. Only a limited number of one-person bedrooms is available. The costs of your stay are to be paid to the Conferece Centre De Brug. The address of de Brug: Arkweg 3-17, 5731 PD Mierlo, NL Postbus 92 5730 AB Mierlo, NL Phone: +492 678911 Fax: +492 664895 REGISTRATION The registration fee covers the course material and the costs of social events. Moreover, for members of IPA, the registration fee also covers the cost of accommodation. Please REGISTER BEFORE June 1st 1997, by sending in the registration form. The registration fee covers the proceedings and the costs of social events. Moreover, for members of IPA, the registration fee also covers the cost of accommodation. Members of IPA(*): Dfl 500,-(After June 1, 1997: Dfl 600,-) Members of TUCS/BRICS(**): Dfl 300,- (After June 1, 1997: Dfl 400,-) Other(**) : Dfl 800,- (After June 1, 1997: Dfl 900,-) (*) Includes social event, course material and accommodation (**) Includes social event and course material GRANTS The School on Embedded Systems is sponsored by the European Union's TMR Euroconference Program. Grants can be applied to cover expenses of young researchers that wish to participate. + Who can apply? Young researchers (aged 35 years or under) on postgraduate or postdoctorate level who are citizens of European Union member states or associated countries (Iceland, Liechtenstein, Norway). + Which expenses are covered? Each grant covers at least 80% of the costs of travel, registration and accomodation. (Accomodation based on a two-person bedroom.) If there are more grants available than there have been applied for, this percentage may be higher. + How to apply? Please fill in the form Application for Grant (http://www.win.tue.nl/cs/ipa/activities/grantapp97.ps.gz + Deadline: Applications for grants should be sent in by June 15, 1997. + Notification: Applicants will be notified by July 1, 1997. In case more grants are applied for than available, the organisers will make a selection. FURTHER INFORMATION For further information, see the WWW-homepage: http://www.win.tue.nl/cs/ipa/activities/school.on.compsynmeth.0897.html or contact wsinti@win.tue.nl ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ (Send the form below to wsinti@win.tue.nl or by fax to +31-40-2463992 REGISTRATION FORM SCHOOL on COMPUTATIONAL and SYNTACTIC METHODS, 11-22 August 1997 First Name : Family Name: Prof.Dr.Mr.Ms.: Affiliation : Address : e-mail : tel: fax: Your identification as it should appear on your badge: Means of travel: Date of Arrival to Mierlo: Date of departure from Mierlo: Diet: Standard/Vegetarian (Delete where non applicable) Accomodation: [ ] I would like to share a room with : [ ] I would like to have a single room (this involves extra cost and there is only a limited number of one-person bedrooms) IPA-member : Yes/No (Delete where non applicable) If `No': member of the research school: Cross one of the two boxes below: [ ] I shall pay the registration fee when I arrive [ ] I shall pay the registration fee via bank-transfer to account no. 60.27.60.690 of IPA, Department of Math. and Comp. Science, Technological University Eindhoven The Netherlands