School in Logic and Computation Heriot-Watt University 10-13 April 1999 Organized by computer science research centers UKII(UK) BRICS(Denmark) TUCS (Finland) IPA (Holland) as part of the European Educational Forum (EEF) series of summer schools, supported by the European Union. Grants covering registration and accommodation are available for eligible Ph.D. students, see below. LECTURERS and TOPICS Samson Abramsky (Edinburgh, UK): Concurrent Games and Full Completeness for Linear Logic Henk Barendregt (Nijmegen, NL): Mission possible: proof-checking Robert Constable (Cornell, USA): Applications of Classes and Types to Practical Verifications Dirk van Dalen (Utrecht, NL): The Mathematical Universe according to Brouwer Mariangola Dezani-Ciancaglini (Turin, IT): The Lambda Calculus in Different Scenarios Assaf Kfoury (Boston, USA): Some New Developments in Unification Related to Type Theory Claude Kirchner (Nancy, FR): On Deduction Modulo and Rewriting Calculus Jan-Willem Klop (Amsterdam, NL): Term Rewriting Andrew Pitts (Cambridge, UK): A New Approach to Abstract Syntax Involving Binders Pawel Urzyczyn (Warsaw, PL): On the Curry-Howard Isomorphism For a list of abstracts and a more details on the school, refer to: http://www.cee.hw.ac.uk/~fairouz/eefschool.html Lectures are in the mornings. In the afternoon, there will be workshops which will have invited speakers and for which we are soliciting talks of work in progress and of open problems from both young and established researchers. These workshops are: TYPES IN COMPUTATION: Speaker: Herman Geuvers (Eindhoven, NL): Inductive and Co-Inductive Types PROOF SEARCH IN COMPUTATION: Speaker: Roy Dyckhoff (St Andrews, UK): Proof Search issues in constructive logic REWRITING IN COMPUTATION: Speaker: Roberto Di Cosmo (Paris, FR): Rewriting with extensionality To submit a talk, post a two page abstract in postscipt by email to fairouz@cee.hw.ac.uk no later than Friday 5 March. You will receive notification of acceptance/rejection by Monday 15th March. GRANTS Grants cover registration and accommodation, leaving only travel and some local expenses to be paid. Grants are restricted to PhD students aged 35 or younger with nationality in the European Union or Norway, Israel, Iceland or Liechtenstein. To apply for a grant, you must post as soon as possible and no later than Friday 5th March the following: 1. Name, affiliation, address, e-mail address, date of birth and nationality 2. Written evidence that you are a full time student 3. A CV and brief research statement 4. A letter of recommendation from your supervisor (this must be sent directly by the supervisor) You will receive notification of acceptance/rejection by Monday 22nd March. REGISTRATION The registration fee is 150 UK pounds. This covers lunches, refreshments, social events and a banquet. Accommodation in university halls of residence for students and in conference accommodation for non-students is priced as follows: 1. PhD students pay 10.50 UK pounds per night for a single room (evidence of full time student status is required). 2. Non-students pay 20 UK pounds per night for a single en suite room or 25 UK pounds for a single en suite room with breakfast. To register, send name, affiliation, address, e-mail, dates of arrival/departure and a cheque in UK pounds drawn on a UK bank to cover the registration fee and the number of nights of accommodation required. The cheque should be made payable to Heriot-Watt University and labelled "School in Logic and Computation". Post applications for registration and grants to Professor Fairouz Kamareddine, Attention School in Logic and Computation, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 3327. In order to guarantee accommodation, it is advisable that your application is sent as soon as possible. QUESTIONS Questions should be sent to fairouz@cee.hw.ac.uk Fairouz Kamareddine and Don Sannella URL: http://www.cee.hw.ac.uk/~fairouz/eefschool.html and of open problems from both young and established researchers. These workshops are: <ul> <li> <b> Types in Computation</b> Speaker: <ul> <li> <A HREF = "http://www.win.tue.nl/cs/fm/herman/"> Herman Geuvers </A> <b> (Eindhoven, NL) </b>: <i> Inductive and Co-Inductive Types </i> </ul> <li> <b> Proof Search in Computation</b> Speaker: <ul> <li> <A HREF = "http://www-theory.dcs.st-and.ac.uk:80/~rd/"> Roy Dyckhoff </A> <b> (St Andrews, UK)</b>: <i> Proof Search issues in constructive logic </i> </ul> <li> <b> Rewriting in Computation</b> Speaker: <ul> <li> <A HREF = "http://www.dmi.ens.fr/~dicosmo/.">Roberto Di Cosmo</A> <b>(Paris, FR)</b>: <i> Rewriting with extensionality </i> </ul> </ul> To submit a talk, post a two page abstract in postscipt by email to fairouz@cee.hw.ac.uk no later than Friday 5 March. You will receive notification of acceptance/rejection by Monday 15th March. <p><br> <h3>Grants</h3> Grants cover registration and accommodation, leaving only travel and some local expenses to be paid. Grants are restricted to PhD students aged 35 or younger with nationality in the European Union or Norway, Israel, Iceland or Liechtenstein. <p> To apply for a grant, you must post as soon as possible and no later than Friday 5th March the following: <ul> <li> Name, affiliation, address, e-mail address, date of birth and nationality <li> Written evidence that you are a full time student <li> A CV and brief research statement <li> A letter of recommendation from your supervisor (this must be sent directly by the supervisor) </ul> You will receive notification of acceptance/rejection by Monday 22nd March. <p><br> <h3>Registration</h3> The registration fee is UK £ 150. This covers lunches, refreshments, social events and a banquet. Accommodation in university halls of residence is priced as follows: <ul> <li> PhD students pay UK £ 10.50 per night for a single room (evidence of full time student status is required). <li> Non-students pay UK £ 20 per night for a single en suite room or UK £ 25 for a single en suite room with breakfast. </ul> To register, send name, affiliation, address, e-mail, dates of arrival/departure and a cheque in UK £ drawn on a UK bank to cover the registration fee and the number of nights of accommodation required. The cheque should be made payable to Heriot-Watt University and labelled "School in Logic and Computation". <p> Post applications for registration and grants to Professor Fairouz Kamareddine, Attention School in Logic and Computation, Heriot-Watt University, Computing and Electrical Engineering, Riccarton, Edinburgh EH14 4AS, Scotland. Fax: +44 131 451 3327. <p> In order to guarantee accommodation, it is advisable that your application is sent as soon as possible. <br> <h3>Questions</h3> Questions should be sent to <a href="mailto:fairouz@cee.hw.ac.uk">fairouz@cee.hw.ac.uk</a> <hr> <p><br> <address> <a href="http://www.cee.hw.ac.uk/~fairouz">Fairouz Kamareddine</a> and <a href="http://www.dcs.ed.ac.uk/home/dts">Don Sannella</a><br> <FONT SIZE="-1"> URL: http://www.cee.hw.ac.uk/~fairouz/eefschool.html </FONT> </address> <!-- hhmts start --> Last modified: Thursday 4 February 1999. <!-- hhmts end --> </body> </html>