[Agda] Haskell Symposium – Call for participation

Wouter Swierstra wouter.swierstra at gmail.com
Mon Aug 4 10:21:16 CEST 2014


====================================================================
                       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


More information about the Agda mailing list