[Agda] ICFP 2013: Call for workshops and co-located events

[David Van Horn]

         CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
                            ICFP 2013
 18th ACM SIGPLAN International Conference on Functional Programming
                     September 22 - 28, 2013
                      Boston, Massachusetts, USA
              http://icfpconference.org/icfp2013/

The 18th ACM SIGPLAN International Conference on Functional
Programming will be held in Boston, Massachusetts on September 22-28,
2013.  ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming.

Proposals are invited for workshops (and other co-located events, such
as tutorials) to be affiliated with ICFP 2013 and sponsored by
SIGPLAN.  These events should be more informal and focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas.  The preference is for one-day
events, but other schedules can also be considered.

The workshops are scheduled to occur on September 22-24 (the three
days before ICFP) and September 28 (the day after ICFP).

----------------------------------------------------------------------

Submission details
 Deadline for submission:     December  7, 2012
 Notification of acceptance:  January   7, 2013

Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2013 workshop co-chairs (Patrik Jansson and
Sam Tobin-Hochstadt), via email to icfp13-workshops at ccs.neu.edu
by December 7, 2012.  (For proposals of co-located events other
than workshops, please fill in the workshop proposal form and just
leave blank any sections that do not apply.)  Please note that this
is a firm deadline.

Organizers will be notified if their event proposal is accepted by
January 7, 2013, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.

The proposal form is available at:

http://www.icfpconference.org/icfp2013/icfp13-workshops-form.txt

Further information about SIGPLAN sponsorship is available at:

http://acm.org/sigplan/sigplan_workshop_proposal.htm

----------------------------------------------------------------------

Selection committee

The proposals will be evaluated by a committee comprising the
following members of the ICFP 2013 organizing committee, together with
the members of the SIGPLAN executive committee.

 Workshop Co-Chair: Patrik Jansson  (Chalmers University of Technology)
 Workshop Co-Chair: Sam Tobin-Hochstadt       (Northeastern University)
 General Chair :    Greg Morrisset                 (Harvard University)
 Program Chair:     Tarmo Uustalu    (Tallinn University of Technology)


----------------------------------------------------------------------

Further information

Any queries should be addressed to the workshop co-chairs (Patrik Jansson and
Sam Tobin-Hochstadt), via email to icfp13-workshops at ccs.neu.edu