Home     |     .Net Programming    |     cSharp Home    |     Sql Server Home    |     Javascript / Client Side Development     |     Ajax Programming

Ruby on Rails Development     |     Perl Programming     |     C Programming Language     |     C++ Programming     |     IT Jobs

Python Programming Language     |     Laptop Suggestions?    |     TCL Scripting     |     Fortran Programming     |     Scheme Programming Language


 
 
Cervo Technologies
The Right Source to Outsource

MS Dynamics CRM 3.0

Scheme Programming Language

IFL 2007: Symposium on Implementation and Application of Functional Languages


**********************************************************************

                Announcement and Call for Papers for the

                    19th International Symposium on
           Implementation and Application of Functional Languages
                                IFL 2007

              27th-29th September 2007, Freiburg, Germany
                       co-located with ICFP 2007

          http://proglang.informatik.uni-freiburg.de/IFL2007/

**********************************************************************

The aim of the IFL symposium is to bring together researchers actively
engaged in the implementation and application of functional and
function-based programming languages. The symposium provides an open
forum for researchers who wish to present and discuss new ideas and
concepts, work in progress, preliminary results, etc. related
primarily but not exclusively to the implementation and application of
functional languages.

Topics of interest include (but are not limited to):

     * language concepts
     * type checking
     * compilation techniques
     * (abstract) interpretation
     * generic programming techniques
     * automatic program generation
     * array processing
     * concurrent/parallel programming
     * concurrent/parallel program execution
     * heap management
     * runtime profiling
     * performance measurements
     * debugging and tracing
     * (abstract) machine architectures
     * verification
     * formal aspects
     * tools and programming techniques

Papers on applications or tools demonstrating the suitability of novel
ideas in any of the above areas and contributions on related
theoretical work are also welcome. The change of the symposium name
adding the term "application", introduced in 2004, reflects the
broader scope IFL has gained over the years.

Contributions

Prospective authors are encouraged to submit papers to be published in
the draft proceedings and present them at the symposium. All
contributions must be written in English, conform to the
Springer-Verlag LNCS series format and not exceed 16 pages. The draft
proceedings will appear as a technical report.

Every attendee of IFL 2007 will have the opportunity to submit a
revised version of their paper for post-symposium reviewing. As in
previous years, selected papers will be published by Springer Verlag
in the Lecture Notes in Computer Science (LNCS) Series.

Important Dates

Submission for Draft Proceedings           31 August 2007
Early Registration Deadline                 1 September 2007
Symposium                               27-29 September 2007
Submission for post-refereeing              2 November 2007
Notification of acceptance / rejection     14 December 2007
Submission of camera-ready version         25 January 2008

Programme Committee

Peter Achten            Radboud University Nijmegen, The Netherlands
Kenichi Asai            Ochanomizu University, Japan
Manuel Chakravarty      The University of New South Wales, Australia
Olaf Chitil (chair)     University of Kent, UK
Martin Erwig            Oregon State University, Oregon, USA
Marc Feeley             Universit de Montral, Canada
Martin Gasbichler       Zhlke Engineering AG, Switzerland
Kevin Hammond           University of St. Andrews, Scotland
Zoltn Horvth          Etvs Lornd University, Budapest, Hungary
John Hughes             Chalmers University of Technology, Sweden
Ken Friis Larsen        University of Copenhagen, Denmark
Rita Loogen             Philipps-Universitt Marburg, Germany
Michel Mauny            ENSTA, France
Sven-Bodo Scholz        University of Hertfordshire, UK
Clara Segura            Universidad Complutense de Madrid, Spain
Tim Sheard              Portland State University, Oregon, USA
Glenn Strong            Trinity College, Dublin, Ireland
Doaitse Swierstra       Utrecht University, The Netherlands
Malcolm Wallace         The University of York, UK

Local Organisation

Markus Degen            Universitt Freiburg, Germany
Peter Thiemann          Universitt Freiburg, Germany
Stefan Wehr             Universitt Freiburg, Germany

Further Information

http://proglang.informatik.uni-freiburg.de/IFL2007/

Add to del.icio.us | Digg this | Stumble it | Powered by Megasolutions Inc