2001 Haskell Workshop: call for participation

Ralf Hinze [email protected]
Sun, 22 Jul 2001 14:50:53 +0200 (MET DST)


============================================================================

                           CALL FOR PARTICIPATION

                                ACM SIGPLAN
                           2001 Haskell Workshop

                     Firenze, Italy, 2nd September 2001

        The Haskell Workshop is sponsored by ACM SIGPLAN and forms
        part of the PLI 2001 colloquium on Principles, Logics, and
        Implementations of high-level programming languages, which
        comprises the ICFP/PPDP conferences and associated workshops.
        Previous Haskell Workshops have been held in La Jolla (1995),
        Amsterdam (1997), Paris (1999), and Montreal (2000).

        http://www.cs.uu.nl/~ralf/hw2001.{html,pdf,ps,txt}

============================================================================

Workshop programme
------------------

The workshop received a total of 23 submissions and after careful
consideration the programme committee selected the 10 papers below
(6 regular, 4 pearls, and no application letters) for acceptance. The
selection was competitive: several good papers had to be rejected.

Please, note that in addition to longer presentations on accepted
papers, a number of slots for participants to make 10-minute informal
presentations are available. To request such a slot, contact Ralf
Hinze ([email protected]).

9.00 - 10.30: chaired by Ralf Hinze 

        Functional Pearl: "Derivation of a Carry Lookahead Addition Circuit",
	John O'Donnell and Gudula R?nger 

	Functional Pearl: "Inverting the Burrows-Wheeler Transform",
	Richard Bird, Shin-Cheng Mu, and Barney Stratford 

	"Genuinely Functional User Interfaces",
	Antony Courtney and Conal Elliott 

10.30 - 11.00: 

	Coffee break 


11.00 - 12.30: chaired by Patrik Jansson 

	"Named Instances for Haskell Type Classes",
	Wolfram Kahl and Jan Scheffczyk 

	"A Functional Notation for Functional Dependencies",
	Martin Gasbichler, Matthias Neubauer, Michael Sperber, and Peter Thiemann 

	Report from the program chair and 10-minute talks (to be announced) 


12.30 - 14.00: 

	Lunch 

14.00 - 15.30: chaired by Ross Paterson 

	"GHood - Graphical Visualisation and Animation of Haskell Object Observations",
	Claus Reinke 

	"Multiple-View Tracing for Haskell: a New Hat",
	Malcolm Wallace, Olaf Chitil, Thorsten Brehm, and Colin Runciman 

	10-minute talks (to be announced) 

15.30 - 16.00: 

	Coffee break 

16.00 - 17.30: chaired by Jeremy Gibbons 

	Functional Pearl: "Parsing Permutation Phrases",
	Arthur Baars, Andres L?h, and S. Doaitse Swierstra 

	Functional Pearl: "Pretty Printing with Lazy Dequeues",
	Olaf Chitil 

	"Playing by the Rules: Rewriting as a practical optimisation technique in GHC",
	Simon Peyton Jones, Andrew Tolmach, and Tony Hoare 

17.30 - 18.00: chaired by Manuel Chakravarty 

	Discussion: the future of Haskell 

============================================================================

Programme committee
-------------------

Manuel Chakravarty      University of New South Wales
Jeremy Gibbons          University of Oxford
Ralf Hinze (chair)      University of Utrecht
Patrik Jansson          Chalmers University
Mark Jones              Oregon Graduate Institute
Ross Paterson           City University, London
Simon Peyton Jones      Microsoft Research
Stephanie Weirich       Cornell University

============================================================================

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.  Adopting an
idea from ICFP 2000, the workshop also solicits two special classes of
submissions, application letters and functional pearls, described
below.

Application Letters
-------------------

An application letter describes experience using Haskell to solve
real-world problems. Such a paper might typically be about six pages,
and may be judged by interest of the application and novel use of
Haskell.

Functional Pearls
-----------------

A functional pearl presents - using Haskell as a vehicle - an idea that
is small, rounded, and glows with its own light. Such a paper might
typically be about six pages, and may be judged by elegance of
development and clarity of expression.

============================================================================

Useful links
------------

PLI 2001			http://music.dsi.unifi.it/pli01/
Haskell Workshop 2001		http://www.cs.uu.nl/~ralf/hw2001.html
Registration Information	http://music.dsi.unifi.it/pli01/registration/
Haskell Home Page		http://www.haskell.org