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

Haskell99 Call for Participation

[Apologies for any duplicates you may receive]

CALL FOR PARTICIPATION HASKELL99 WORKSHOP
FRIDAY OCTOBER 1ST, 1999, PARIS, FRANCE

<http://www.haskell.org/HaskellWorkshop.html>

The Third Haskell Workshop will take place in Paris, France
as part of PLI'99 <http://pauillac.inria.fr/pli>.

SCOPE
=====
The purpose of the workshop is to discuss experience with Haskell, and
possible future developments of the language.

The lively discussions at the 1997 Haskell Workshop in Amsterdam about
the future of Haskell led to the definition of Haskell'98, giving
Haskell the stability that has so far been lacking. The road ahead to
Haskell-2 has many opportunities for developing and enhancing Haskell
in new and exciting ways. The Haskell99 workshop presents six
papers on the design, implementation, and use of Haskell.

In addition to longer presentations of pre-submitted papers, there
will be the opportunity for participants to make 10-minute informal
presentations, the wackier the better.

REGISTRATION
============
See the main PLI page <http://pauillac.inria.fr/pli> for information
on how to register for HASKELL99 and the other events making up PLI99.
The deadline for early registration is August 20.

PROGRAM FRIDAY OCTOBER 1
========================
Each contributed presentation will last 45 minutes, including
questions. The proceedings will be published as an Utrecht University
technical report and will be available at the time of the workshop.

We still accept slot bookings for the 10-minute talks on a first come
first served basis.

----------------------------
8:30 - 9:30 PLI Invited talk
----------------------------
Mobility in the Join-Calculus
Georges Gonthier (INRIA Rocquencourt, France)

---------------------------------------
9:45 - 10:45 Session 1 (Sigbjorn Finne)
---------------------------------------
Typing Haskell In Haskell
Mark Jones (Oregon Graduate Institute, USA)

Haskell library template effort (10 minute slot)
Andy Gill (Oregon Graduate Institute, USA)

---------------------------
10:45 - 11:15 Coffee break
---------------------------

------------------------------------
11:15 - 12:45 Session 2 (Byron Cook)
------------------------------------
Embedding Prolog in Haskell
Mike Spivey and Silvija Seres (Oxford University, UK)

Logical Abstractions in Haskell
Jeff Lewis, John Launchbury and Nancy Day (Oregon Graduate Institute,
USA)

-------------------
12:45 - 14:30 Lunch
-------------------

---------------------------------------
14:30 - 16:00 Session 3 (Koen Claessen)
---------------------------------------

The Syntactical Subtleties of Haskell (Invited Talk)
Simon Marlow (Microsoft Research Cambridge, UK)

Lightweight Extensible Records for Haskell
Mark Jones (Oregon Graduate Institute, USA) and
Simon Peyton Jones(Microsoft Research Cambridge, UK)

----------------------
16:00 - 16:30 Tea time
----------------------

---------------------------------------
16:30 - 18:00 Session 4 (Graham Hutton)
---------------------------------------

A Generic Programming Extension for Haskell
Ralf Hinze (Bonn University, Germany)

Restricted Datatypes in Haskell
John Hughes (Chalmers University, Sweden)

----------------------------------------
18:00 - 18:30 Session 5 (Colin Runciman)
----------------------------------------
The future of Haskell (Discussion)

PROGRAM COMMITTEE
=================

      Koen Claessen (Chalmers)
         Byron Cook (OGI)
     Sigbjorn Finne (Glasgow)
      Gregory Hager (John Hopkins)
   Fergus Henderson (Melbourne)
      Graham Hutton (Nottingham)
 Alexander Jacobson (shop.com)
        Erik Meijer (Utrecht)
     Colin Runciman (York)
     Phillip Wadler (Bell Labs, Lucent Technologies)

Send questions and comments to erik@cs.uu.nl
References: