[TYPES] ICFP 2005 - Final Call for Papers

[Benjamin C. Pierce]

NEWS:
  * submission and formatting instructions are now available
  * the dates of the author response period have changed slightly

                                 ---------

             International Conference on Functional Programming
                                (ICFP 2005)

                              Call for Papers

                           September 26-28, 2005
                              Tallinn, Estonia

                    Submission deadline: 13 April, 2005

                          Submission instructions:
                 http://www.cis.upenn.edu/~bcpierce/icfp05

   ICFP 2005 seeks original papers on the art and science of functional
   programming.  Submissions are invited on all topics ranging from
   principles to practice, from foundations to features, from abstraction
   to application.  The scope includes all languages that encourage
   functional programming, including both purely applicative and
   imperative languages, as well as languages with objects and
   concurrency.  Particular topics of interest include:

     * Applications and domain-specific languages: Systems programming,
       scientific and numerical computing, symbolic computing and
       artificial intelligence, databases, graphical user interfaces,
       multimedia programming, application scripting, system
       administration, distributed-systems and web programming, XML
       processing, security.

     * Foundations: Formal semantics, lambda calculus, type theory,
       monads, continuations, control, state, effects.

     * Design: Algorithms and data structures, modules and type systems,
       concurrency and distribution, components and composition,
       relations to object-oriented and logic programming.

     * Implementation: Abstract machines, compile-time and run-time
       optimization, just-in-time compilers, memory management.
       Interfaces to foreign functions, services, components and
       low-level machine resources.

     * Transformation and analysis: Abstract interpretation, partial
       evaluation, program transformation.

     * Software-development techniques for functional programming: Design
       patterns, specification, verification, validation, debugging, test
       generation, tracing and profiling.

     * Practice and experience: Functional programming in education and
       industry.

     * Functional pearls: Elegant, instructive examples of functional
       programming.

   Papers in the last three categories need not necessarily report
   original research results; they may instead, for example, report
   practical experience that will be useful to others, re-usable
   programming idioms, or elegant new ways of approaching a problem.

   A special issue of the Journal of Functional Programming will
   highlight selected papers from the meeting.

   Submission instructions are available here:
        http://www.cis.upenn.edu/~bcpierce/icfp05


   Important Dates: 

     Submission deadline:         13 April, 2005, at 6PM (in Philadelphia)
     On-line response to reviews: 19-21 May, 2005
     Author notification:         3 June, 2005
     Camera-ready copy:           10 July, 2005


   Organizers:

     Conference Chair:  Olivier Danvy (BRICS, University of Aarhus)
     Program Chair:     Benjamin Pierce (University of Pennsylvania) 

     Program Committee: Mariangiola Dezani (Universita di Torino)
                        Mary Fernandez (AT&T Labs)
                        Matthew Flatt (University of Utah)
                        Cedric Fournet (Microsoft Research)
                        Jacques Garrigue (Kyoto University)
                        Jason Hickey (California Institute of Technology)
                        John Hughes (Chalmers University)
                        Johan Jeuring (Utrecht University)
                        Frank Pfenning (Carnegie Mellon University)
                        Benjamin Pierce (University of Pennsylvania)
                        Andrew Pitts (University of Cambridge)
                        Norman Ramsey (Harvard University)
                        Manuel Serrano (INRIA Sophia Antipolis)
                        Peter Thiemann (Universitat Freiburg)
                        Jan Vitek (Purdue University)