<span style="font-family:courier new,monospace">Apologies for multiple postings.</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">--------------------------------------------------------------------------------</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">                            CALL FOR PARTICIPATION</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">                     24th Symposium on Implementation and</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">                Application of Functional Languages (IFL 2012)</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">           University of Oxford, UK, August 30-September 1, 2012</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">                 <a href="http://www.cs.ox.ac.uk/conferences/IFL2012/">http://www.cs.ox.ac.uk/conferences/IFL2012/</a></span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">This year IFL will be hosted by the University of Oxford, within the idyllic</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">setting of the dreaming spires and picturesque colleges, which have been the</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">home to academic endeavour and research for over nine centuries. The symposium</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">will be held between 30 August and 1 September, 2012.</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Early registration closes on 10 August. Late registration closes on 23 August,</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">but conference accommodation can only be booked until 13 August. The</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">registration fee includes lunches and refreshments, BBQ on the first evening, an</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">afternoon excursion, and the conference banquet.</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">To register, please follow the link:</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace"><a href="http://www.cs.ox.ac.uk/conferences/IFL2012/registration.html">http://www.cs.ox.ac.uk/conferences/IFL2012/registration.html</a></span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Invited Speaker</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">---------------</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Fritz Henglein, from the Department of Computer Science at the University of</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">Copenhagen, is the invited speaker of IFL 2012. He will be talking about</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">&quot;generic sorting and partitioning in linear time and fully</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">abstractly—simultaneously&quot;.</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">Schedule</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">--------</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">There will be 38 talks presented at IFL 2012. The schedule of presentations is</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">now online at:</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace"><a href="http://www.cs.ox.ac.uk/conferences/IFL2012/schedule.html">http://www.cs.ox.ac.uk/conferences/IFL2012/schedule.html</a></span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Scope</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">-----</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">The goal of the IFL symposia is to bring together researchers actively engaged</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">in the implementation and application of functional and function-based</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">programming languages. IFL 2012 will be a venue for researchers to present and</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">discuss new ideas and concepts, work in progress, and publication-ripe results</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">related to the implementation and application of functional languages and</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">function-based programming.</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Following the IFL tradition, IFL 2012 will use a post-symposium review process</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">to produce formal proceedings which will be published by Springer Verlag in the</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Lecture Notes in Computer Science series. All participants in IFL 2012 are</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">invited to submit either a draft paper or an extended abstract describing work</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">to be presented at the symposium.</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Organising committee</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">--------------------</span><br style="font-family:courier new,monospace">

<br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Ralf Hinze (Chair), University of Oxford, UK</span><br style="font-family:courier new,monospace"><span style="font-family:courier new,monospace">Nicolas Wu, University of Oxford, UK</span><br style="font-family:courier new,monospace">

<span style="font-family:courier new,monospace">José Pedro Magalhães, University of Oxford, UK</span><br style="font-family:courier new,monospace"><br style="font-family:courier new,monospace">