************ CALL FOR PARTICIPATION ************ ISR 2010 5th International School on Rewriting July 3-8, 2010, Utrecht, The Netherlands http://www.phil.uu.nl/isr2010/ ************************************************ Background and Organisation --------------------------- Term rewriting is a powerful model of computation underlying much of declarative programming, which is heavily used in symbolic computation in logic and computer science. Applications can be found in theorem proving and protocol verification, but also in fields as diverse as mathematics, philosophy and biology. Following the editions in Nancy (twice, France), Obergurgl (Austria), and Brasilia (Brazil), the 5th International School on Rewriting takes place in Utrecht, The Netherlands. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. To accommodate the different backgrounds, we offer two (parallel) tracks: (Basic) A full-fledged introductory course at master/PhD level accompanied with exercise sessions for students without previous exposure to term rewriting; (Advanced) A series of more advanced lectures at PhD/researcher level on recent developments and state-of-the-art applications. Master students can obtain 3ECs for successfully participating in the Basic track. The school is organised under the auspices of IFIP WG 1.6 and takes place as part (course H16) of Utrecht Summer School 2010. The school is planned such that participants can subsequently attend the major yearly conference on rewriting, RTA 2010, or other conferences that are part of the federated logic conference, FLoC 2010, in Edinburgh. ISR 2010 is supported by the Netherlands Organisation for Scientific Research (NWO), Utrecht University and VU University Amsterdam. Lectures and lecturers ---------------------- o Introduction to Term Rewriting (Basic) Aart Middeldorp, Univ. of Innsbruck, Austria Femke van Raamsdonk, VU Amsterdam, The Netherlands o Applications of Rewriting in Design and Analysis of Algorithms (lectures shared between Basic & Advanced) Ashish Tiwari, SRI International, Menlo Park, CA, USA o Tree Automata and Rewriting (Advanced) Ralf Treinen, PPS, Univ. Paris-Diderot, France o Complexity Analysis of Term Rewrite Systems (Advanced) Georg Moser, Univ. of Innsbruck, Austria o Termination of Programs (Advanced) Peter Schneider-Kamp, Univ. of Southern Denmark, Odense, Denmark o Productivity (Advanced) Joerg Endrullis, VU Amsterdam, The Netherlands Dimitri Hendriks, VU Amsterdam, The Netherlands Clemens Grabmayer, Utrecht Univ., The Netherlands o SAT solving for term rewriting (Advanced) Hans Zantema, Eindhoven Univ. of Tech., Radboud Univ. Nijmegen o Coq and rewriting (Advanced) Adam Koprowski, R&D MLstate, Paris, France The Basic and the Advanced track both consist of 26.5 hours of lectures and exercises/labs. Complete program at: http://www.phil.uu.nl/isr2010/ Location and Registration ------------------------- The school takes place in the historical city centre of Utrecht. Utrecht is located in the centre of the Netherlands, and is known for its university, its treaty, the 112m high Dom tower dating back to 1321, its wharves and its canal side terraces. The Netherlands has a sea climate and the average temperature in July is between 20 and 25 degrees Celsius. Utrecht has excellent public transport connections to the rest of the country and to the major international airports of Amsterdam (Schiphol, 30 minutes by train, every 15 minutes) and Frankfurt (3.5 hours by train, 8 times per day). Registration via the link to the program above or via *Courses* -> *Start data* -> *01-15 July 2010* at http://www.utrechtsummerschool.nl/ o Basic track: 200 euro o Advanced track: 250 euro o Housing: 175 euro (saturday and thursday night inclusive) Fees include participation, course material for both tracks, the ISR dinner event, and the Social Programme as offered by the Utrecht Summer School, e.g. world cup semi-finals, but do not include further meals. We have grants available to cover the registration fee for a number of exceptional students. See the registration and/or ISR2010 site for details.