coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Haskell Symposium – Call for participation

From: Wouter Swierstra <wouter.swierstra AT gmail.com>
To: haskell AT haskell.org, types-announce AT lists.seas.upenn.edu, caml-list AT inria.fr, Agda list mailing <agda AT lists.chalmers.se>, coq-club AT inria.fr
Subject: [Coq-Club] Haskell Symposium – Call for participation
Date: Mon, 4 Aug 2014 10:21:16 +0200

====================================================================
CALL FOR PARTICIPATION

ACM SIGPLAN Haskell Symposium 2014
Gothenburg, Sweden
4-5 September, 2014
(directly after ICFP)

http://www.haskell.org/haskell-symposium/2014/
====================================================================

The purpose of the Haskell Symposium is to discuss experiences with
Haskell and future developments for the language. The scope of the
symposium includes all aspects of the design, semantics, theory,
application, implementation, and teaching of Haskell.

Accepted papers and programme:

http://www.haskell.org/haskell-symposium/2014/schedule.html

REGISTRATION IS NOW OPEN:

https://regmaster4.com/2014conf/ICFP14/register.php

Local arrangements (including travel and accommodation):

http://www.icfpconference.org/icfp2014/local.html

I hope to see you in Gothenburg!

Wouter Swierstra
Haskell 2014 Program Chair

[Coq-Club] Haskell Symposium – Call for participation, Wouter Swierstra, 08/04/2014