[Agda] Call for Participation: Implementation and Application of Functional Languages 2012

Tom Harper rtomharper at gmail.com
Fri Aug 3 11:54:54 CEST 2012


                            CALL FOR PARTICIPATION

                     24th Symposium on Implementation and
                Application of Functional Languages (IFL 2012)

           University of Oxford, UK, August 30-September 1, 2012


This year IFL will be hosted by the University of Oxford, within the idyllic
setting of the dreaming spires and picturesque colleges, which have been the
home to academic endeavour and research for over nine centuries. The symposium
will be held between 30 August and 1 September, 2012.

Early registration closes on 10 August. Late registration closes on 23 August,
but conference accommodation can only be booked until 13 August. The
registration fee includes lunches and refreshments, BBQ on the first evening, an
afternoon excursion, and the conference banquet.

To register, please follow the link:


Invited Speaker

Fritz Henglein, from the Department of Computer Science at the University of
Copenhagen, is the invited speaker of IFL 2012. He will be talking about
"generic sorting and partitioning in linear time and fully


There will be 38 talks presented at IFL 2012. The schedule of presentations is
now online at:



The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2012 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Following the IFL tradition, IFL 2012 will use a post-symposium review process
to produce formal proceedings which will be published by Springer Verlag in the
Lecture Notes in Computer Science series. All participants in IFL 2012 are
invited to submit either a draft paper or an extended abstract describing work
to be presented at the symposium.

Organising committee

Ralf Hinze (Chair), University of Oxford, UK
Nicolas Wu, University of Oxford, UK
José Pedro Magalhães, University of Oxford, UK

More information about the Agda mailing list