[Prev][Next][Index][Thread]
Haskell Workshop
============================================================================
PRELIMINARY ANNOUNCEMENT AND CALL FOR PAPERS
Haskell Workshop
Montreal, Canada, September 2000
The Haskell Workshop forms part of the PLI 2000 colloquium on
Principles, Logics, and Implementations of high-level programming
languages, which comprises the ICFP and PPDP conferences, together
with associated workshops. Previous Haskell Workshops have been
held in La Jolla (1995), Amsterdam (1997), and Paris (1999).
www.cs.nott.ac.uk/~gmh/hw00.{html,ps,txt}
============================================================================
Scope
-----
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. Submissions that discuss
limitations of Haskell at present and/or propose new ideas for future
versions of Haskell are particularly encouraged.
Submission details
------------------
Deadline for submission: 1st June 2000
Notification of acceptance: 14th July 2000
Final submission due: 11th August 2000
Haskell Workshop: Date to be announced
Authors should submit papers of at most 12 pages, in postscript format,
formatted for US letter or A4 paper, to Graham Hutton (gmh@cs.nott.ac.uk)
by 1st June 2000. The accepted papers will be published as a University
of Nottingham technical report, and also made freely available on the
web. A date for the workshop, in the range 18th to 23rd September 2000,
will be announced as soon as possible.
Programme committee
-------------------
Richard Bird University of Oxford
Andy Gill Oregon Graduate Institute
Ralf Hinze University of Bonn
Paul Hudak Yale University
Graham Hutton (chair) University of Nottingham
Erik Meijer University of Utrecht
Chris Okasaki Columbia University
Tim Sheard Oregon Graduate Institute
============================================================================