From: "Matthew Fluet (ICFP Publicity Chair)" <icfp.publicity@googlemail.com>
To: caml-list <caml-list@inria.fr>
Subject: ICFP09 Call for Participation
Date: Mon, 22 Jun 2009 10:29:01 -0500 [thread overview]
Message-ID: <53ff55480906220829h414e5486tadbe5f0773018b97@mail.gmail.com> (raw)
=====================================================================
Call for Participation
The 14th ACM SIGPLAN International Conference
on Functional Programming (ICFP 2009)
http://www.cs.nott.ac.uk/~gmh/icfp09.html
Edinburgh, Scotland, 31 August - 2 September 2009
=====================================================================
ICFP 2009 provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
Preliminary program:
* Accepted papers:
+ http://web.cecs.pdx.edu/~apt/icfp09_accepted_papers/accepted.html
* Invited speakers:
+ Guy Steele -- Organizing Functional Code for Parallel Execution:
or, foldl and foldr Considered Slightly Harmful
+ Benjamin Pierce -- Lambda, the Ultimate TA: Using a Proof
Assistant to Teach Programming Language Foundations
+Dan Piponi -- Commutative Monads, Diagrams and Knots
Schedule including related workshops:
* Aug 30: ACM SIGPLAN Workshop on ML
* Aug 30: ACM SIGPLAN Workshop on Generic Programming
* Aug 31-Sep 2: ICFP09
* Sep 3: ACM SIGPLAN Haskell Symposium
* Sep 3: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 4: Commercial Users of Functional Programming
* Sep 4: ACM SIGPLAN Workshop on Mechanizing Metatheory
* Sep 4: ACM SIGPLAN Workshop on Approaches and Applications of
Inductive Programming
* Sep 5: ACM SIGPLAN Erlang Workshop
* Sep 5: ACM SIGPLAN Developer Tracks on Functional Programming
* Sep 5: ACM SIGPLAN Haskell Implementors Workshop
Registration information:
* http://www.regmaster.com/conf/icfp2009.html
* Early registration deadline: July 30, 2009
Local arrangements (including travel and accommodation):
* http://www.haskell.org/haskellwiki/ICFP_2009_Local_Arrangements
* Conference reservation/rate deadline: July 20, 2009
* ICFP09 coincides with the final week of the Edinburgh International
Festival, one of the premier arts and cultural festivals in the
world. The opportunity to attend the Festival is a plus! Due to
the popularity of Edinburgh during the festival period, we
strongly recommend booking accommodation early.
Conference organizers:
* General Chair: Graham Hutton (University of Nottingham)
* Program Chair: Andrew Tolmach (Portland State University)
* Local Arrangements Chairs: Philip Wadler (University of Edinburgh),
Kevin Hammond (University of St Andrews), and
Gregory Michaelson (Heriot-Watt University)
* Workshop Co-Chairs: Christopher Stone (Harvey Mudd College), and
Michael Sperber (DeinProgramm)
* Programming Contest Chair: Andrew Gill (University of Kansas)
* Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)
=====================================================================
=====================================================================
And, don't forget about the ICFP Programming Contest this weekend!!
* http://www.icfpcontest.org
* Friday, June 26 to Monday, June 29
* Organizers: Computer Systems Design Laboratory (University of Kansas)
reply other threads:[~2009-06-22 15:29 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=53ff55480906220829h414e5486tadbe5f0773018b97@mail.gmail.com \
--to=icfp.publicity@googlemail.com \
--cc=caml-list@inria.fr \
--cc=fluet@tti-c.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox