[TYPES] Haskell workshop 2005 -- Call for participation.

Daan Leijen daan at cs.uu.nl
Thu Jul 21 21:27:40 EDT 2005

                      2005 Haskell Workshop
                Tallinn, Estonia, 30 September, 2005

                     Call for participation

-- Important Dates ---------------------------------------------------

Early registration deadline : July 29
Late registration deadline  : September 2
Haskell workshop            : September 30

Registration is available from <http://www.cs.ioc.ee/tfp-icfp-gpce05>.

-- Preliminary Programme ---------------------------------------------

The preliminary programme is available from the Haskell workshop website at
<http://www.cs.uu.nl/~daan/hw2005> and is appended in plain text to this section.

This year, David Roundy gives an invited talk about Darcs: a popular distributed
version control system written Haskell.

     Welcome by Daan Leijen

   9:00 - 10:30
     Invited talk: Lessons from Darcs
     David Roundy

     Visual Haskell – A full-featured Haskell development environment
     Krasimir Angelov and Simon Marlow

     Haskell ready to Dazzle the real world
     Martijn M. Schrage, Arjan van IJzendoorn, and Linda C. van der Gaag

   11:00 - 12:30
     Dynamic applications from the ground up
     Don Stewart and Manuel M. T. Chakravarty

     Haskell server pages through dynamic loading
     Niklas Broberg

     Haskell on a shared-memory multiprocessor
     Tim Harris, Simon Marlow, and Simon Peyton Jones

   14:00 - 15:30
     Verifying Haskell programs using constructive type theory
     Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell

     Putting Curry-Howard to work
     Tim Sheard

     There and Back Again – Arrows for Invertible Programming
     Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko van Eekelen,
     and Rinus Plasmeijer

   16:00 - 17:15
     TypeCase: A design pattern for type-indexed functions
     Bruno C. d. S. Oliveira and Jeremy Gibbons

     Functional pearl: Polymorphic pattern matching
     Richard S. Bird

     Tool demonstration: Halfs – the Haskell file system
     Isaac Jones

   17:15 - 17:45
     Discussion: The future of Haskell

-- The Haskell Workshop ----------------------------------------------

The Haskell Workshop 2005 is an ACM SIGPLAN sponsored workshop affiliated with
the 2005 International Conference on Functional Programming (ICFP). Previous
Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris
(1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), and
Snowbird (2004).

-- Scope -------------------------------------------------------------

The purpose of the Haskell Workshop is to discuss experience with Haskell, and
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

* 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
* Implementations,
     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;
* Tools,
     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.

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!

-- Program committee -------------------------------------------------

Martin Erwig     Oregon State University
John Hughes      Chalmers University of Technology
Mark Jones       OGI School of Science and Engineering at OHSU
Ralf Lämmel      Microsoft Corp.
Daan Leijen      Universiteit Utrecht (Program Chair)
Andres Löh       Universiteit Utrecht
Andrew Moran     Galois Connections Inc.
Simon Thompson   University of Kent
Malcolm Wallace  University of York

More information about the Types-list mailing list