[TYPES/announce] IFL 2007: CFP and Submission Deadline Approaching

Marco T Morazan morazanm at shu.edu
Sat Aug 4 13:24:07 EDT 2007


Dear All,

My apologies in advance if you receive multiple copies of IFL's call for 
papers. This year IFL is co-located with ICFP. I encourage all of you to 
submit to IFL. It is a lively and very enjoyable event with a 
post-symposium reviewing process. At IFL, the latest developments in the 
implementation of functional languages are discussed and the 
publication-ripe articles are chosen for publication in Springer's LNCS 
series.

Cheers,

Marco

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

                 Call for Papers and Participation

                  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/

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

==> Submission for Draft Proceedings           31 August 2007
==> Early Registration & Hotel Deadline         1 September 2007


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
   * 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
Hotel 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 Montréal, Canada
Martin Gasbichler       Zühlke Engineering AG, Switzerland
Kevin Hammond           University of St. Andrews, Scotland
Zoltán Horváth          Eötvös Loránd University, Budapest, Hungary
John Hughes             Chalmers University of Technology, Sweden
Ken Friis Larsen        University of Copenhagen, Denmark
Rita Loogen             Philipps-Universität 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            Universität Freiburg, Germany
Peter Thiemann          Universität Freiburg, Germany
Stefan Wehr             Universität Freiburg, Germany


Further Information

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



**********************************************************************************
Prof. Marco T. Morazan
Dept. of Mathematics and Computer Science
Seton Hall University

"On theories such as these we cannot rely. Proof we need. Proof!" 
           -- Yoda, Jedi Master
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20070804/ee4279da/attachment.htm


More information about the Types-announce mailing list