[Prev][Next][Index][Thread]

Haskell Workshop 2003

               ACM SIGPLAN 2003 Haskell Workshop
              Uppsala, Sweden, End of August 2003
                       pending approval


http://www.functional-programming.org/HaskellWorkshop/cfp03.html

                      Call For Papers

The Haskell Workshop forms part of the PLI 2003 colloquium on
Principles, Logics, and Implementations of high-level programming
languages, which comprises the ICFP and PPDP conferences as well as
associated workshops.  Previous Haskell Workshops have been held in La
Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), Firenze
(2001), and Pittsburgh (2002).


*********************         Deadlines         *********************

Deadline for submission:    May 22, 2003
Notification of acceptance: June 23, 2003
Final submission due:       July 3, 2003
Haskell Workshop:           End of August 2003


*********************         Topics            *********************

The purpose of the Haskell Workshop is to discuss experience with
Haskell, and possible future developments for the language.  The scope
of the workshop includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.  Topics of
interest include, but are not limited to, the following:

   Language Design
     with a focus on possible extensions and modifications of Haskell as
     well as critical discussions of the status quo;
   Theory
     in the form of a formal treatment of the semantics of the present language
     or future extensions, type systems, and foundations for program analysis
     and transformation;
   Implementation Techniques
     including program analysis and transformation, static and dynamic
     compilation for sequential, parallel, and distributed architectures,
     memory management as well as foreign function and component interfaces;
   Tool Support
     in the form of profilers, tracers, debuggers, pre-processors, and so forth;
   Applications, Practice, and Experience
     with Haskell for scientific and symbolic computing, database, multimedia
     and Web applications, and so forth as well as general experience with
     Haskell in education and industry;
   Functional Pearls
     being elegant, instructive examples of using Haskell.

Following the scheme adopted by ICFP 2003, papers in the latter two
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. The key criterion for such a paper is that it
makes a contribution from which other practitioners can benefit. It is
not enough simply to describe a program!


*********************     Submissions           *********************

Authors should submit papers in postscript format, formatted for A4
paper, to Johan Jeuring johanj@cs.uu.nl by 22th May 2003.  The length
should be restricted to the equivalent of 5000 words (which is
approximately 12 pages in ACM format).  Accepted papers will be
available in the form of a technical report of the Utrecht University
or an equivalent format in time for the workshop.  In addition, the
papers will be published by the ACM and will appear in the ACM Digital
Library.

If there is sufficient demand, we will try to organise facilities for
system demonstrations during lunch and coffee breaks.  If you are
interested in demonstrating an application or tool written in Haskell,
please contact Johan Jeuring (johanj@cs.uu.nl).


*********************   Programme Committee      *********************

Magnus Carlsson          OGI
Olaf Chitil              University of York
Ralf Hinze               University of Bonn
Johan Jeuring (chair)    Utrecht University
Jan-Willem Maessen       MIT	
Henrik Nilsson           Yale University
Simon Peyton Jones       Microsoft Research
Claus Reinke             University of Kent