[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